archiving of qed mail

Rusty Lusk <lusk>

Mail folder: QED
Next message: jt@linus.mitre.org: "support"
Previous message: David McAllester: "Answer to a question, and further speculation on a QED foundation"

Message-id: <199304190131.AA05296@antares.mcs.anl.gov>
To: qed@mcs.anl.gov
Subject: archiving of qed mail
Date: Sun, 18 Apr 1993 20:31:37 -0500
From: Rusty Lusk <lusk>
Sender: qed-owner
Precedence: bulk

I have created a subdirectory of pub/qed at info.mcs.anl.gov called archive,
were I will attempt to archive the qed mail, so that anyone can catch up, and
no one need archive it locally.  Currently the messages are in files named
1...27, and they are catted together into the file archive1-27.  So you can
retrieve the discussion so far (minus a few of the very earliest postings) by
anonymous ftp to info.mcs.anl.gov, directory pub/qed, file archive1-27.  Let
me know if you have any problems.

Rusty Lusk