===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.43
retrieving revision 1.48
diff -u -p -r1.43 -r1.48
--- OpenXM/doc/OpenXM-web/index.html 2001/03/07 07:34:19 1.43
+++ OpenXM/doc/OpenXM-web/index.html 2001/10/27 11:22:35 1.48
@@ -1,7 +1,7 @@
@@ -14,15 +14,15 @@ $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.42 2000/
Welcome to the home page of OpenXM.
-Last update is March 7, 2001 JST.
-Japanese Page (experimental) ,
+Last update is October 27, 2001 JST.
+Japanese Page (experimental) ,
What is OpenXM? It is an infrastructure for mathematical
communication.
We propose standards for mathematical computation
-(OpenXM-RFC's).
+(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
@@ -52,7 +52,7 @@ supporting the OpenXM protocol. Here is a quick tour o
OpenXM technical report series, etc)
If you want to add a new OpenXM RFC, please mail to
-takayama@math.sci.kobe-u.ac.jp
+takayama@math.kobe-u.ac.jp
See the specification
how to describe OpenXM RFC's.
@@ -63,11 +63,15 @@ how to describe OpenXM RFC's.
Version of 1.1.3 is available from
our ftp site:
[Source (Shift+Click) ].
- The HEAD branch is available from
+ Semi-HEAD branch is available from
our ftp site:
[Source (Shift+Click) ].
+
+
Binary Distribution by tar+gzip (RELEASE_1_1_3)
Binary .
@@ -88,8 +92,8 @@ Questions and Answers (in Japanese) Survey ].
+ The Design and Implementation of OpenXM-RFC 100 and 101
+[Survey ].
@@ -101,9 +105,9 @@ Questions and Answers (in Japanese) Asir ].
- Asir for Windows (not ready)
- [
- Asir for Windows ].
+ Risa/Asir download page in English (for unix, windows)
+ [
+ Asir download ].
An introductory book on a computer algebra system Risa/Asir (in Japanese)
[ Cover Page, ISBN4-87243-076-X ].
@@ -115,9 +119,9 @@ Questions and Answers (in Japanese) 1.1.3 (September 26, 2000), Current ].
-What's new in 1.1.3?
+1.2.1 Release schedule
- Not written yet.
+ We are scheduling to release version 1.2.1 on November 30.