Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually antares9.mcs.anl.gov !OR! qed-owner@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Sun, 8 Aug 1993 03:56:06 +0100
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@mcs.anl.gov
Subject: new version of manifesto
Date: Sat, 07 Aug 1993 21:51:44 -0500
From: Rusty Lusk <lusk@mcs.anl.gov>
Sender: qed-owner@mcs.anl.gov

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.