===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.54
retrieving revision 1.63
diff -u -p -r1.54 -r1.63
--- OpenXM/doc/OpenXM-web/index.html 2003/03/25 11:30:10 1.54
+++ OpenXM/doc/OpenXM-web/index.html 2005/04/14 11:18:04 1.63
@@ -1,7 +1,7 @@
@@ -9,41 +9,26 @@ $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.53 2002/
OpenXM (Open message eXchange for Mathematics)
-OpenXM Current
+[ in Japanese ]
+ Documents ,
+ Download ,
+ Specifications ,
+ License ,
+cvsweb,
+
+OpenXM HEAD
+
-Welcome to the home page of OpenXM-Current 
+Welcome to the home page of OpenXM-HEAD
-Specifications
-
+Source Distribution (Download)
--
- OpenXM RFC's (OpenXM Request for Comments)
-
-
-
- OX tags
-[OX tags].
-
- CMO tags
-[CMO tags].
-
- 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
-See the specification
-how to describe OpenXM RFC's.
-
-
-Source Distribution
-
-- OpenXM 1.2.1
-[Source (Shift+Click)].
+
- OpenXM 1.2.3
+[Source (Shift+Click)].
- Semi-HEAD branch is available from our ftp site:
[Source (Shift+Click)].
@@ -54,11 +39,10 @@ how to describe OpenXM RFC's.
-(Out of service! Use cvsup instead. See OpenXM/misc/openxm-cvs-supfile)
+Getting the latest version (HEAD branch) from
+a CVS server
+
-
@@ -69,24 +53,14 @@ Questions and Answers (in Enshlish) FAQ.
-The WWW interface for OpenXM CVS Repositry
-[cvsweb]
-
-
Links
-- 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 ].
+ [
+ Asir binary for Windows download and so on ...].
-
-
-
