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 <qed>); 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 <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.