=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.7 retrieving revision 1.77 diff -u -p -r1.7 -r1.77 --- OpenXM/doc/OpenXM-web/index.html 2000/01/23 17:07:30 1.7 +++ OpenXM/doc/OpenXM-web/index.html 2022/03/28 23:50:00 1.77 @@ -1,103 +1,110 @@ - + -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 Jan 21, 2000. -( THIS PAGE IS STILL UNDER CONSTRUCTION. Wait by Jan 24, 2000.) -

+[ 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, 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, +

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
+
+

FreeBSD 3.3 -[FreeBSD 3.3 (Shift-Click)]. -

Linux (glibc 5) -[Linux (glibc 5) (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
+

Linux (glibc 6) -[Linux (glibc 6) (Shift-Click)]. -

+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. -

+ERRATA. +

Papers and Tutorials

OpenXM --- an Open System to Integrate Mathematical Softwares -[Survey]. -

FAQ

+Questions and Answers (in Enshlish) FAQ. +
+Questions and Answers (in Japanese) FAQ. -

OpenXM CVS web (Access Restricted) -[cvsweb] -

References

The primary distribution cite of asir [Asir]. +
Risa/Asir (Kobe distribution) download page (for unix and windows) + [ + Asir binary for Windows download and so on ...].

+ + +

takayama@math.sci.kobe-u.ac.jp

- \ No newline at end of file +