=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.21 retrieving revision 1.25 diff -u -p -r1.21 -r1.25 --- OpenXM/doc/OpenXM-web/index.html 2000/03/19 10:54:55 1.21 +++ 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.20 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 March 19, 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.

@@ -48,7 +52,7 @@ See the specification how to describe the data types. -

Source Distributions (RELEASE_1.1.2)

+

Source Distributions (RELEASE_1_1_2)

  1. OpenXM, OpenXM_contrib @@ -69,6 +73,9 @@ Fujitsu Lab.

    ERRATA RELEASE_1_1_2 ERRATA. +
    +Questions and Answers (some are in Japanese) +FAQ.

    Papers and Tutorials