=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.24 retrieving revision 1.27 diff -u -p -r1.24 -r1.27 --- OpenXM/doc/OpenXM-web/index.html 2000/04/13 00:35:53 1.24 +++ OpenXM/doc/OpenXM-web/index.html 2000/05/08 09:34:29 1.27 @@ -1,7 +1,7 @@ @@ -9,15 +9,21 @@ $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 8, 2000 JST.

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