===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.21
retrieving revision 1.74
diff -u -p -r1.21 -r1.74
--- OpenXM/doc/OpenXM-web/index.html 2000/03/19 10:54:55 1.21
+++ OpenXM/doc/OpenXM-web/index.html 2021/03/29 08:03:43 1.74
@@ -1,99 +1,84 @@
-
+
-OpenXM (Open message eXchange protocol for Mathematics)
+OpenXM (Open message eXchange for Mathematics)
-
-OpenXM (Open message eXchange protocol for Mathematics)
+
-
-Welcome to the home page of OpenXM.
-Last update is March 19, 2000 JST.
-
+[ in Japanese ]
+ Documents ,
+ Download ,
+ Specifications ,
+ License ,
+cvsweb,
+Top,
+OpenXM HEAD
+
-What is OpenXM? See a
-survey.
+Welcome to the home page of OpenXM-HEAD
-Specifications
+Source Distribution (Download)
-
-- Design and Implementation of OpenXM
-(in English, PS),
-(in English, HTML),
-(in Japanese, PS),
-(in Japanese, HTML).
-
-
- OX tags
-[OX tags].
-
- CMO tags
-[CMO tags].
-
- SM commands
-[SM commands].
-
-
- More documents
-
-
- If you want to add new tags, mail to
-takayama@math.sci.kobe-u.ac.jp
-with a description of the data types.
-See the specification
-how to describe the data types.
+
+- 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 Distributions (RELEASE_1.1.2)
+
-
-- OpenXM, OpenXM_contrib
-[Source (Shift+Click)].
-
- OpenXM_contrib2 requires a source code license from
-Fujitsu Lab.
-
+ 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
+
+
-Binary Distribution by tar+gzip (RELEASE_1_1_2)
-Binary.
+
-Binary Distribution by Packages (RELEASE_1_1_2)
-Packages.
-
+ FAQ
+Questions and Answers (in Enshlish) FAQ.
+
+Questions and Answers (in Japanese) FAQ.
-
-ERRATA RELEASE_1_1_2
-ERRATA.
-
+Links
-Papers and Tutorials
-- OpenXM --- an Open System to Integrate Mathematical Softwares
-[Survey].
+
- Risa/Asir (Kobe distribution) download page (for unix and windows)
+ [
+ Asir binary for Windows download and so on ...].
-
-OpenXM CVS web (Access Restricted)
-[cvsweb]
-
-
-References
-
-
-- 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].