===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.6
retrieving revision 1.77
diff -u -p -r1.6 -r1.77
--- OpenXM/doc/OpenXM-web/index.html 2000/01/21 13:52:35 1.6
+++ OpenXM/doc/OpenXM-web/index.html 2022/03/28 23:50:00 1.77
@@ -1,112 +1,110 @@
+
-
-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
-
+Source Distribution (Download)
-- 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) .
-
- 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 file fe-deb2.list of which contents are
+
+deb [signed-by=/usr/share/keyrings/fe-deb2-archive-keyring.gpg] http://www.math.kobe-u.ac.jp/deb2/ unstable/
+deb [signed-by=/usr/share/keyrings/fe-deb2-archive-keyring.gpg] http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/
+
+under /etc/apt/sources.list.d
+
- Add our gpg public key to your system.
+The key is at
+ http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg
+Copy this file to /usr/share/keyrings by
+
+sudo cp fe-deb2-archive-keyring.gpg /usr/share/keyrings
+
+ -
+
+ sudo apt update
+ sudo apt install openxm
+
+
- - Linux (glibc 5)
- [ Linux (glibc 5) (Shift-Click) ].
-
- Linux (glibc 6)
- [ Linux (glibc 6) (Shift-Click) ].
+The following commands execute the above instruction.
+
+sudo apt update
+sudo apt install wget
+sudo wget -O /etc/apt/sources.list.d/fe-deb2.list http://www.math.kobe-u.ac.jp/deb2/fe-deb2.list
+sudo wget -O /usr/share/keyrings/fe-deb2-archive-keyring.gpg http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg
+sudo apt update
+sudo apt install openxm
+
+Note: If you agree with the asir license in advance, do as follows
+
+touch /tmp/i-agree-with-asir-license
+sudo apt install openxm
+rm /tmp/i-agree-with-asir-license
+
-
+
- ERRATA Version 20000124
-
- ERRATA .
-
+ FAQ
+Questions and Answers (in Enshlish) FAQ.
+
+Questions and Answers (in Japanese) FAQ.
- Papers and Tutorials
-
-- OpenXM --- an Open System to Integrate Mathematical Softwares
- [ Survey ].
+
Links
+
+- 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
+
+