=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.49 retrieving revision 1.52 diff -u -p -r1.49 -r1.52 --- OpenXM/doc/OpenXM-web/index.html 2002/03/02 01:00:25 1.49 +++ OpenXM/doc/OpenXM-web/index.html 2002/09/25 12:00:20 1.52 @@ -1,7 +1,7 @@ @@ -13,12 +13,12 @@ $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.48 2001/ http://www.openxm.org

- NEW! RELEASE 1.2.1 + NEW! RELEASE 1.2.2

Welcome to the home page of OpenXM. -Last update is March 2, 2002, JST. +Last update is September 25, 2002, JST. Japanese Page (experimental, for 1.1.3),

@@ -26,18 +26,21 @@ Last update is March 2, 2002, JST. What is OpenXM? It is an infrastructure for mathematical communication. We propose standards for mathematical computation -(OpenXM-RFC's). We will also support OpenMath . +(OpenXM-RFC's). We will also support OpenMath . The project is also making experiments to connect mathematical software systems each other on the infrastructure. We are providing packages of mathematical software systems supporting the OpenXM protocol. Here is a quick tour of the OpenXM package: -functions 1, -functions 2, -Efficient computation. +functions 1, +functions 2, +Efficient computation. +We have also started a project of + + a digital and interactive mathematical formula book.

-

Specifications (for 1.2.1)

+

Specifications (for 1.2.2)

    @@ -46,13 +49,13 @@ supporting the OpenXM protocol. Here is a quick tour o
  1. OX tags -[OX tags]. +[OX tags].
  2. CMO tags -[CMO tags]. +[CMO tags].
  3. SM commands -[SM commands]. +[SM commands]. -
  4. Documents (Asir user's manual, Asir contrib user's manual, sm1 reference manual, +
  5. Documents (Asir user's manual, Asir contrib user's manual, sm1 reference manual, OpenXM technical report series, etc)
  6. If you want to add a new OpenXM RFC, please mail to @@ -61,12 +64,12 @@ See the specification how to describe OpenXM RFC's.
-

Source Distributions (RELEASE_1_2_1)

+

Source Distributions (RELEASE_1_2_2)

    -
  1. Version of 1.2.1 is available from +
  2. Version of 1.2.2 is available from our ftp site: -[Source (Shift+Click)]. +[Source (Shift+Click)].
  3. Semi-HEAD branch is available from our ftp site: [Source (Shift+Click)]. @@ -76,22 +79,22 @@ our ftp site: Getting the latest version (HEAD branch) from anonymous CVS server -

    Binary Distribution by tar+gzip (RELEASE_1_2_1) -Binary. +

    Binary Distribution by tar+gzip (RELEASE_1_2_2) +Binary.

    -

    Binary Distribution by Packages (RELEASE_1_2_1) -Packages.
    +

    Binary Distribution by Packages (RELEASE_1_2_2) +Packages.

    -ERRATA RELEASE_1_2_1 -ERRATA. +ERRATA RELEASE_1_2_2 +ERRATA.
    -Questions and Answers (in Enshlish) FAQ. +Questions and Answers (in Enshlish) FAQ.
    -Questions and Answers (in Japanese) FAQ. +Questions and Answers (in Japanese) FAQ.

    Papers and Tutorials

    @@ -121,7 +124,7 @@ Questions and Answers (in Japanese) 1.1.1 (January 24, 2000) Experimental ].
  4. OpenXM 1.1.2 [ 1.1.2 (March 20, 2000) Stable].
  5. OpenXM 1.1.3 [ 1.1.3 (September 26, 2000) ]. -
  6. OpenXM 1.2.1 [ 1.2.1 (March 2, 2002), Current]. +
  7. OpenXM 1.2.1 [ 1.2.1 (March 2, 2002)].