[Om] logic1 CD revision?

W Naylor wn at cs.bath.ac.uk
Thu Aug 17 17:26:52 CEST 2006


On Thu, 17 Aug 2006, Clare So wrote:

> I did not realize there is a big/issue-reporting tool for OpenMath.  Is there
> any link to this site from the OpenMath webpage?
> 
> Clare
> 

This is a new thing being set up by Paul, maybe it would be an idea to 
have a link from the official site ... Paul?

Bill

-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
-
-                  Dr. W.A. Naylor
-
-                  http://www.cs.bath.ac.uk/~wn
-                  http://orcca.on.ca/~bill
-
-                  work tel: +44 1225 386183
-
-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*



More information about the Om mailing list