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 info.mcs.anl.gov 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.