=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.19 retrieving revision 1.25 diff -u -p -r1.19 -r1.25 --- OpenXM/doc/OpenXM-web/index.html 2000/03/11 07:09:18 1.19 +++ OpenXM/doc/OpenXM-web/index.html 2000/05/03 06:06:55 1.25 @@ -1,7 +1,7 @@ @@ -9,21 +9,19 @@ $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.18 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 11, 2000 JST. +Last update is May 3, 2000 JST.

-

Version 1.1.2 is now under tests of committers. - It will be fixed on March 20, 2000. -The home page of the previous version is at -OpenXM 1.1.1 (20000124) [ 1.1.1 (January 24, 2000) Experimental ]. -

-

-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.

@@ -54,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,13 +67,15 @@ Fujitsu Lab.

    Binary Distribution by Packages (RELEASE_1_1_2) Packages.
    -THIS IS EXPERIMENTAL.

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

    Papers and Tutorials