From qed-owner Sat Aug 7 21:56:08 1993 Received: by antares.mcs.anl.gov id AA12505 (5.65c/IDA-1.4.4 for qed-outgoing); Sat, 7 Aug 1993 21:51:50 -0500 Received: from donner.mcs.anl.gov by antares.mcs.anl.gov with SMTP id AA12498 (5.65c/IDA-1.4.4 for ); Sat, 7 Aug 1993 21:51:49 -0500 Message-Id: <199308080251.AA12498@antares.mcs.anl.gov> To: qed Subject: new version of manifesto Date: Sat, 07 Aug 1993 21:51:44 -0500 From: Rusty Lusk Sender: qed-owner 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.