[Next][Index][Thread]
[abbott@can.nl: Discussion about "types in OpenMa]
-
To: w3c-math@w3.org
-
Subject: [abbott@can.nl: Discussion about "types in OpenMa]
-
From: Ron Whitney <RFW@MATH.AMS.ORG>
-
Date: Mon, 23 Sep 1996 12:25:34 -0400 (EDT)
-
From w3c-math-request@www10.w3.org Mon Sep 23 12: 25:49 1996
-
Mail-system-version: <MultiNet-MM(369)+TOPSLIB(158)+PMDF(5.0)@MATH.AMS.ORG>
-
Message-id: <843495934.418797.RFW@MATH.AMS.ORG>
FYI
---------------
Return-path: <owner-openmath-sym@can.nl>
Received: from titan. (GATE1.AMS.ORG) by AXP14.AMS.ORG (PMDF V5.0-6 #16534)
id <01I9TGN6741S000DMI@AXP14.AMS.ORG> for rfw@AXP14.AMS.ORG; Mon,
23 Sep 1996 12:24:20 -0500 (EST)
Received: from cand.can.nl by titan. (SMI-8.6/SMI-SVR4) id MAA23546; Mon,
23 Sep 1996 12:25:38 -0400
Received: by cand.can.nl via EUnet; Mon, 23 Sep 1996 16:21:40 +0000 (MET)
Received: by cand.can.nl with SMTP; Mon, 23 Sep 1996 18:21:37 +0200 (MET)
Received: by ruby.can.nl via EUnet; Mon, 23 Sep 1996 18:19:00 +0200 (MET)
Date: Mon, 23 Sep 1996 18:19:00 +0200
From: abbott@can.nl
Subject: Discussion about "types in OpenMath" on openmath-dev@can.nl
Sender: owner-openmath-sym@can.nl
To: openmath-sym@can.nl
Message-id: <9609231619.AA25016@ruby.can.nl>
Content-transfer-encoding: 7BIT
Precedence: bulk
Hi,
Tomorrow I plan to start a discussion (on openmath-dev@can.nl) about types
and type information in OpenMath. If you wish to be included in this
discussion and are not already a member of openmath-dev then please join
that email group (by sending email to majordomo@can.nl with the body saying
"subscribe openmath-dev" (without the double quotes)).
If you can't recall if you're already a member, it does no harm to try to
join again.
If you are not a member of openmath-dev, you might find it worthwhile to
look through some of the emails in the archive for that email group:
http://www.can.nl/OpenMath/openmath-dev/
John.