===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.3
retrieving revision 1.76
diff -u -p -r1.3 -r1.76
--- OpenXM/doc/OpenXM-web/index.html 2000/01/20 07:25:25 1.3
+++ OpenXM/doc/OpenXM-web/index.html 2022/03/28 10:33:48 1.76
@@ -1,95 +1,101 @@
+
-
-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 20, 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) ,
- (in Japanese, PS) ,
- (in Japanese, HTML) .
+
Source Distribution (Download)
- - OX tags
- [ OX tags ].
-
- CMO tags
- [ CMO tags].
-
- SM commands
- [ SM commands].
-
- More documents
+
+- 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.
+
- - 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.
+
-
-
+ 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
+
+
-
-
Source Distributions
-
-- Version 20000124
- [ Source ].
+The following commands execute the above instruction.
+
+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
+
-
-
+
-
-
Binaries
-
-- FreeBSD 3.3
- [ FreeBSD 3.3 (Shift-Click) ].
+
FAQ
+Questions and Answers (in Enshlish) FAQ.
+
+Questions and Answers (in Japanese) FAQ.
- - Linux (glibc 5)
- [ Linux (glibc 5) (Shift-Click) ].
-
- Installation Guide
- in English ,
- in Japanese ,
+
Links
+
+- Risa/Asir (Kobe distribution) download page (for unix and windows)
+ [
+ Asir binary for Windows download and so on ...].
- Papers and Tutorials
-
-
-- OpenXM --- an Open System to Integrate Mathematical Softwares
- [ Survey ].
-
-
-
-
-OpenXM CVS web (Access restricted)
- [ cvsweb ]
-
-
takayama@math.sci.kobe-u.ac.jp
-
\ No newline at end of file
+
+