new version of manifesto

Rusty Lusk ((no email))
Sat, 07 Aug 1993 21:51:44 -0500

There is now a revised version of the QED manifesto available for anonymous
ftp from in the directory pub/qed. It reflects some of the
discussion that has taken place on this mailing list. The archives have also
been brought up to date. See the subdirectory "archive" in the same place.