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 KAA02788; Sun, 11 Feb 1996 10:08:33 +0200
Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10)
	id BAA07566 for qed-out; Sun, 11 Feb 1996 01:42:48 -0600
Received: from campion.demon.co.uk (campion.demon.co.uk [158.152.55.183]) by antares.mcs.anl.gov (8.6.10/8.6.10)  with SMTP
	id BAA07561 for <qed@mcs.anl.gov>; Sun, 11 Feb 1996 01:42:37 -0600
Date: Sun, 11 Feb 1996 07:39:51 GMT
From: rbj@campion.demon.co.uk (Roger Bishop Jones)
Message-Id: <5249@campion.demon.co.uk>
To: qed@mcs.anl.gov
Subject: QED and OpenMath
X-Mailer: PCElm 1.10
Lines: 7
Sender: owner-qed@mcs.anl.gov
Precedence: bulk


I am interested to know whether QED participants know about the OpenMath
intiative and if so what they think about the relevance of OpenMath to QED
and vice-versa.

Roger Jones    http://www.cybercom.net/~rbjones/
back home      rbj@campion.demon.co.uk