===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.49
retrieving revision 1.59
diff -u -p -r1.49 -r1.59
--- OpenXM/doc/OpenXM-web/index.html 2002/03/02 01:00:25 1.49
+++ OpenXM/doc/OpenXM-web/index.html 2003/10/15 01:34:45 1.59
@@ -1,44 +1,22 @@
OpenXM (Open message eXchange for Mathematics)
-
-OpenXM (Open message eXchange for Mathematics):
- http://www.openxm.org
+
+OpenXM HEAD
- NEW! RELEASE 1.2.1
+Welcome to the home page of OpenXM-HEAD
-
-Welcome to the home page of OpenXM.
-Last update is March 2, 2002, JST.
-Japanese Page (experimental, for 1.1.3) ,
-
+Specifications
-
-What is OpenXM? It is an infrastructure for mathematical
-communication.
-We propose standards for mathematical computation
-(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 .
-
-
-
-Specifications (for 1.2.1)
-
@@ -46,14 +24,12 @@ 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 ].
- Documents (Asir user's manual, Asir contrib user's manual, sm1 reference manual,
-OpenXM technical report series, etc)
If you want to add a new OpenXM RFC, please mail to
takayama@math.kobe-u.ac.jp
@@ -61,72 +37,57 @@ See the specification
how to describe OpenXM RFC's.
-Source Distributions (RELEASE_1_2_1)
+Documents of OpenXM package
+
+Documents (Asir user's manual, Asir contrib user's manual, sm1 reference manual, etc)
+
+
+Source Distribution (Download)
+
- Version of 1.2.1 is available from
-our ftp site:
-[Source (Shift+Click) ].
- Semi-HEAD branch is available from
-our ftp site:
+ OpenXM 1.2.2
+[Source (Shift+Click) ].
+ Semi-HEAD branch is available from our ftp site:
[Source (Shift+Click) ].
-
+
-Binary Distribution by tar+gzip (RELEASE_1_2_1)
-Binary .
+
+Getting the latest version (HEAD branch) from
+anonymous CVS server
-Binary Distribution by Packages (RELEASE_1_2_1)
-Packages .
+
-
-
-ERRATA RELEASE_1_2_1
-ERRATA .
+
FAQ
+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
-
-The Design and Implementation of OpenXM-RFC 100 and 101
-[Survey ].
-
-
The WWW interface for OpenXM CVS Repositry
[cvsweb ]
-References
+Links
-The primary distribution site of asir [Asir ].
- Risa/Asir download page in English (for unix, windows)
- [
+Risa/Asir home page at Ehime [Asir ].
+ Risa/Asir (Kobe distribution) download page (for unix and windows)
+ [
Asir download ].
- 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 ].
- OpenXM 1.1.3 [ 1.1.3 (September 26, 2000) ].
- OpenXM 1.2.1 [ 1.2.1 (March 2, 2002), Current ].
-
+
-
-