===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.56
retrieving revision 1.75
diff -u -p -r1.56 -r1.75
--- OpenXM/doc/OpenXM-web/index.html 2003/03/26 05:06:25 1.56
+++ OpenXM/doc/OpenXM-web/index.html 2021/04/02 06:49:16 1.75
@@ -1,67 +1,66 @@
-
+
OpenXM (Open message eXchange for Mathematics)
+
+[ in Japanese ]
+ Documents ,
+ Download ,
+ Specifications ,
+ License ,
+cvsweb,
+Top,
+
OpenXM HEAD
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].
-
-
-
- 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.
-
-
-Documents of OpenXM package
-- Documents (Asir user's manual, Asir contrib user's manual, sm1 reference manual, etc)
+
- HEAD branch is available from our web site:
+[Source (Shift+Click)].
+
- A snapshot of the head branch can be obtainable from
+ here .
+It is updated everyday.
-
-Source Distribution (Download)
-
-
-- OpenXM 1.2.1
-[Source (Shift+Click)].
-
- Semi-HEAD branch is available from our ftp site:
-[Source (Shift+Click)].
-
-
-
-Getting the latest version (HEAD branch) from
-anonymous CVS server
-(It is out of service! Use cvsup instead. See OpenXM/misc/openxm-cvs-supfile)
-
+ Debian package for amd64
+
+- Add the following to /etc/apt/sources.list
+
+ deb http://www.math.kobe-u.ac.jp/deb2/ unstable/
+ deb http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/
+
+
- Add our keys to your system.
+The keys are at
+ http://www.math.kobe-u.ac.jp/deb2/pub-keys
+
+ apt-key add mathlibre.pub
+ apt-key add debian-math.kobe-u.ac.jp.pub
+
+ -
+
+ sudo apt-get update
+ sudo apt-get install openxm
+
+
ERRATA.
@@ -73,22 +72,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].
+ Asir binary for Windows download and so on ...].
-
-
-