===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.10
retrieving revision 1.22
diff -u -p -r1.10 -r1.22
--- OpenXM/doc/OpenXM-web/index.html 2000/01/24 08:08:34 1.10
+++ OpenXM/doc/OpenXM-web/index.html 2000/03/27 05:13:55 1.22
@@ -1,7 +1,7 @@
Welcome to the home page of OpenXM.
-Last update is Jan 24, 2000.
-( THIS PAGE IS STILL UNDER CONSTRUCTION. Wait by Jan 25, 2000 JST.)
+Last update is March 27, 2000 JST.
@@ -28,19 +27,19 @@ What is OpenXM? See a
Design and Implementation of OpenXM
-(in English, PS) ,
-(in English, HTML, not available for now) ,
-(in Japanese, PS) ,
-(in Japanese, HTML, not available for now) .
+(in English, PS) ,
+(in English, HTML) ,
+(in Japanese, PS) ,
+(in Japanese, HTML) .
OX tags
-[OX tags ].
+[OX tags ].
CMO tags
-[CMO tags ].
+[CMO tags ].
SM commands
-[SM commands ].
+[SM commands ].
- More documents
+More documents
If you want to add new tags, mail to
takayama@math.sci.kobe-u.ac.jp
@@ -49,33 +48,27 @@ See the specification
how to describe the data types.
-Source Distributions
+Source Distributions (RELEASE_1_1_2)
-Version 20000124
-[Source (comming soon) ].
+ OpenXM, OpenXM_contrib
+[Source (Shift+Click) ].
+ OpenXM_contrib2 requires a source code license from
+Fujitsu Lab.
-Binaries
+Binary Distribution by tar+gzip (RELEASE_1_1_2)
+Binary .
+
-
-Installation Guide
-in English ,
-in Japanese ,
+Binary Distribution by Packages (RELEASE_1_1_2)
+Packages .
- FreeBSD 3.3
-[FreeBSD 3.3 (Shift-Click) ].
- Linux (glibc 5)
-[Linux (glibc 5) (Shift-Click) (comming soon) ].
-
- Linux (glibc 6)
-[Linux (glibc 6) (Shift-Click) (comming soon) ].
-
-
-ERRATA Version 20000124
-ERRATA .
+ERRATA RELEASE_1_1_2
+ERRATA .
Papers and Tutorials
@@ -93,7 +86,16 @@ ERRATA Version 20000124
The primary distribution cite of asir [Asir ].
+ An introductory book on a computer algebra system Risa/Asir (in Japanese)
+ [ Cover Page, ISBN4-87243-076-X ].
+
+Archive
+
+OpenXM 1.1.1 (20000124) [ 1.1.1 (January 24, 2000) Experimental ].
+ OpenXM 1.1.2 [ 1.1.2 (March 20, 2000) Stable, Current ].
+
+
takayama@math.sci.kobe-u.ac.jp
