Received: from antares.mcs.anl.gov (mcs.anl.gov [140.221.9.6]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id XAA25915; Fri, 12 Jan 1996 23:59:34 +0200
Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10)
	id PAA25544 for qed-out; Fri, 12 Jan 1996 15:13:37 -0600
Received: from kalypso.cybercom.net (root@kalypso.cybercom.net [205.198.80.68]) by antares.mcs.anl.gov (8.6.10/8.6.10)  with ESMTP
	id PAA25536 for <qed@mcs.anl.gov>; Fri, 12 Jan 1996 15:13:27 -0600
Received: from CAMPION.DEMON.CO.UK (campion.demon.co.uk [158.152.55.183]) by kalypso.cybercom.net (8.6.12/8.6.12) with SMTP id QAA02363 for <qed@mcs.anl.gov>; Fri, 12 Jan 1996 16:13:08 -0500
Date: Fri, 12 Jan 1996 16:13:08 -0500
Message-Id: <199601122113.QAA02363@kalypso.cybercom.net>
X-Sender: rbjones@mail.cybercom.net
X-Mailer: Windows Eudora Light Version 1.5.2
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
To: qed@mcs.anl.gov
From: Roger Bishop Jones <rbjones@cybercom.net>
Subject: HTML manifesto
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

In the course of mulling over the QED manifesto I have produced another
hypertext edition.

If the set of people who:

        (a) like reading things off a computer screen
        (b) have WWW access
        (c) are interested in QED
        (d) have not already had enough of the MAY95 version of the manifesto

is not {Roger Jones} then the other members might might find the HTML manifesto
at:

     http://www.cybercom.net/~rbjones/rbjpub/logic/qedres00.htm

slightly more convenient than the previous version.

If anyone should put a link to this page (or any other of my pages)
anywhere, then if they send me their email address I will advise them if (as
is likely)
at some time my Web pages change site.

Roger Jones
rbjones@cybercom.net                http://www.cybercom.net/~rbjones