=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.24 retrieving revision 1.25 diff -u -p -r1.24 -r1.25 --- OpenXM/doc/OpenXM-web/index.html 2000/04/13 00:35:53 1.24 +++ OpenXM/doc/OpenXM-web/index.html 2000/05/03 06:06:55 1.25 @@ -1,7 +1,7 @@ @@ -9,15 +9,19 @@ $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.23 2000/ OpenXM (Open message eXchange protocol for Mathematics) -

OpenXM (Open message eXchange protocol for Mathematics)

+

OpenXM (Open message eXchange protocol for Mathematics): + http://www.openxm.org

Welcome to the home page of OpenXM. -Last update is April 12, 2000 JST. +Last update is May 3, 2000 JST.

-What is OpenXM? See a +What is OpenXM? It is an infrastructure for mathematical +communication. (But, it is not XML.) +We are also providing packages of mathematical software +supporting the OpenXM protocol. See a survey.