===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.40
retrieving revision 1.76
diff -u -p -r1.40 -r1.76
--- OpenXM/doc/OpenXM-web/index.html 2000/12/17 05:21:08 1.40
+++ OpenXM/doc/OpenXM-web/index.html 2022/03/28 10:33:48 1.76
@@ -1,115 +1,97 @@
-OpenXM (Open message eXchange protocol for Mathematics)
+OpenXM (Open message eXchange for Mathematics)
-
-OpenXM (Open message eXchange protocol for Mathematics):
- http://www.openxm.org
+
-
-Welcome to the home page of OpenXM.
-Last update is December 17, 2000 JST.
-Japanese Page (experimental) ,
-
+[ in Japanese ] Documents ,
+ Download ,
+ Specifications ,
+ License ,
+cvsweb ,
+Top ,
+OpenXM HEAD
+
-What is OpenXM? It is an infrastructure for mathematical
-communication.
-The project is also making experiments to connect mathematical
-software systems each other on the infrastructure.
-We are providing packages of mathematical software systems
-supporting the OpenXM protocol. Here is a quick tour of the OpenXM package:
-functions 1 ,
-functions 2 ,
-Efficient computation .
+Welcome to the home page of OpenXM-HEAD
-Specifications (Draft for 1.1.3)
+Source Distribution (Download)
+
+ 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.
+
- OpenXM RFC's (OpenXM Request for Comments)
-
+
- OX tags
-[OX tags ].
- CMO tags
-[CMO tags ].
- SM commands
-[SM commands ].
+ 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
+
+
- Documents (Asir user's manual, Asir contrib user's manual, sm1 reference manual,
-OpenXM technical report series, etc)
-If you want to add a new OpenXM RFC, please mail to
-takayama@math.sci.kobe-u.ac.jp
-See the specification
-how to describe OpenXM RFC's.
-
+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
+
-Source Distributions (RELEASE_1_1_3)
-
-
- Version of 1.1.3 is available from
-our ftp site:
-[Source (Shift+Click) ].
-
-
-Binary Distribution by tar+gzip (RELEASE_1_1_3)
-Binary .
+
-Binary Distribution by Packages (RELEASE_1_1_3)
-Packages .
-
-
-
-ERRATA RELEASE_1_1_3
-ERRATA .
+
FAQ
+Questions and Answers (in Enshlish) FAQ .
FAQ .
-FAQ .
-
+Questions and Answers (in Japanese) FAQ .
-Papers and Tutorials
-
-OpenXM --- an Open System to Integrate Mathematical Softwares
-[Survey ].
-
+Links
-The WWW interface for OpenXM CVS Repositry
-[cvsweb ]
-
-
-References
-
-The primary distribution site of asir [Asir ].
- An introductory book on a computer algebra system Risa/Asir (in Japanese)
- [ Cover Page, ISBN4-87243-076-X ].
+ Risa/Asir (Kobe distribution) download page (for unix and windows)
+ [
+ Asir binary for Windows download and so on ... ].
-Archive
-
-OpenXM 1.1.1 (20000124) [ 1.1.1 (January 24, 2000) Experimental ].
- OpenXM 1.1.2 [ 1.1.2 (March 20, 2000) Stable ].
- OpenXM 1.1.3 [ 1.1.3 (September 26, 2000), Current ].
-What's new in 1.1.3?
-
- Not written yet.
-
takayama@math.sci.kobe-u.ac.jp
