=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.24 retrieving revision 1.30 diff -u -p -r1.24 -r1.30 --- OpenXM/doc/OpenXM-web/index.html 2000/04/13 00:35:53 1.24 +++ OpenXM/doc/OpenXM-web/index.html 2000/09/09 16:32:27 1.30 @@ -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 September 10, 2000 JST.

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

@@ -41,6 +47,21 @@ What is OpenXM? See a
  • More documents +
  • Design and Implementation of OpenXM (Draft for 1.1.3) +(in English, PS), +(in English, HTML), +(in Japanese, PS), +(in Japanese, HTML). + +
  • OX tags (Draft for 1.1.3) +[OX tags]. +
  • CMO tags (Draft for 1.1.3) +[CMO tags]. +
  • SM commands (Draft for 1.1.3) +[SM commands]. + +
  • More documents +
  • If you want to add new tags, mail to takayama@math.sci.kobe-u.ac.jp with a description of the data types. @@ -70,8 +91,7 @@ Fujitsu Lab. ERRATA RELEASE_1_1_2 ERRATA.
    -Questions and Answers (some are in Japanese) -FAQ. +Questions and Answers (some are in Japanese) FAQ.

    Papers and Tutorials

    @@ -81,8 +101,8 @@ Questions and Answers (some are in Japanese) -

    OpenXM CVS web (Access Restricted) -[cvsweb] +

    The WWW interface for OpenXM CVS Repositry +[cvsweb]

    References

    @@ -98,6 +118,9 @@ Questions and Answers (some are in Japanese)
  • OpenXM 1.1.1 (20000124) [ 1.1.1 (January 24, 2000) Experimental ].
  • OpenXM 1.1.2 [ 1.1.2 (March 20, 2000) Stable, Current]. + +

    What's new in 1.1.3?

    + Not written yet.