===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.5
retrieving revision 1.75
diff -u -p -r1.5 -r1.75
--- OpenXM/doc/OpenXM-web/index.html 2000/01/21 08:24:47 1.5
+++ OpenXM/doc/OpenXM-web/index.html 2021/04/02 06:49:16 1.75
@@ -1,106 +1,91 @@
+
-
-
OpenXM (Open message eXchange protocol for Mathematics)
+
+
+
+OpenXM (Open message eXchange for Mathematics)
+
+
- OpenXM (Open message eXchange protocol for Mathematics)
+[ in Japanese ]
+ Documents ,
+ Download ,
+ Specifications ,
+ License ,
+cvsweb,
+Top,
-
-Welcome to the home page of OpenXM.
-Last update is Jan 21, 2000.
-( THIS PAGE IS STILL UNDER CONSTRUCTION. Wait by Jan 24, 2000.)
-
+OpenXM HEAD
-What is OpenXM? See a
- survey .
+Welcome to the home page of OpenXM-HEAD
-
-
Specifications
-
-- Design and Implementation of OpenXM
- (in English, PS) ,
- (in English, HTML, not available for now) ,
- (in Japanese, PS) ,
- (in Japanese, HTML, not available for now) .
+
Source Distribution (Download)
- - 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.
-
-
-
-
-
-
Source Distributions
-
-- Version 20000124
- [ Source ].
-
+
- 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.
-
-
-
Binaries
-
-- Installation Guide
- in English ,
- in Japanese ,
+
-
- FreeBSD 3.3
- [ FreeBSD 3.3 (Shift-Click) ].
+
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
+
+
- - Linux (glibc 5)
- [ Linux (glibc 5) (Shift-Click) ].
+
-
- Linux (glibc 6)
- [ Linux (glibc 6) (Shift-Click) ].
+
FAQ
+Questions and Answers (in Enshlish) FAQ.
+
+Questions and Answers (in Japanese) FAQ.
-
+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 ].
-
+
takayama@math.sci.kobe-u.ac.jp
-
\ No newline at end of file
+
+