=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.39 retrieving revision 1.40 diff -u -p -r1.39 -r1.40 --- OpenXM/doc/OpenXM-web/index.html 2000/11/26 11:05:33 1.39 +++ OpenXM/doc/OpenXM-web/index.html 2000/12/17 05:21:08 1.40 @@ -1,7 +1,7 @@ @@ -14,7 +14,7 @@ $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.38 2000/

Welcome to the home page of OpenXM. -Last update is November 26, 2000 JST. +Last update is December 17, 2000 JST. Japanese Page (experimental),

@@ -25,9 +25,9 @@ The project is also making experiments to connect math 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.

@@ -39,20 +39,19 @@ supporting the OpenXM protocol. Here is a quick tour o
  • OX tags -[OX tags]. +[OX tags].
  • CMO tags -[CMO tags]. +[CMO tags].
  • SM commands -[SM commands]. +[SM commands]. -
  • More documents (Asir user's manual, Asir contrib user's manual, sm1 reference manual, +
  • Documents (Asir user's manual, Asir contrib user's manual, sm1 reference manual, OpenXM technical report series, etc) -
  • If you want to add new tags, mail to +
  • If you want to add a new OpenXM RFC, please mail to takayama@math.sci.kobe-u.ac.jp -with a description of the data types. See the specification -how to describe the data types. +how to describe OpenXM RFC's.

    Source Distributions (RELEASE_1_1_3)

    @@ -64,27 +63,27 @@ our ftp site:

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

    Binary Distribution by Packages (RELEASE_1_1_3) -Packages.
    +Packages.

    ERRATA RELEASE_1_1_3 -ERRATA. +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

    1. OpenXM --- an Open System to Integrate Mathematical Softwares -[Survey]. +[Survey].