Let's start

• Mail folder: QED
• Next message: Ted Ashton: "Re: QED, Bourbaki and Mathematica"

Message-id: <199304122223.AA25248@antares.mcs.anl.gov>
To: qed@mcs.anl.gov
Subject: Let's start
Date: Mon, 12 Apr 1993 17:23:19 -0500
From: Rusty Lusk <lusk>
Sender: qed-owner
Precedence: bulk

Now that the flurry of signing up has slowed down (139 people are on this
list), perhaps we should start the discussion.  Anyone who is still unclear
about what QED is can fetch "The QED Manifesto" by anonymous ftp to
info.mcs.anl.gov.  Take the file manifesto from the directory pub/qed.  It
is a plain ascii file.

QED is an intriguing idea.  Now we (all 139 of us) need suggestions on how to
transform it from an idea into a project.  The floor is now open.  You can
send to everyone on the mailing list by addressing your mail to 

  qed@mcs.anl.gov


Regards,
Bob Boyer & Rusty Lusk


P.S.  The qed mailing list is being maintained by a program called majordomo,
and a number of services can be accessed by sending mail to

  majordomo@mcs.anl.gov

For example, to find out who else is on the list, send

  who qed

To delete yourself from the list, send

  unsubscribe qed

If you forget almost everything, send

  help