=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.1 retrieving revision 1.77 diff -u -p -r1.1 -r1.77 --- OpenXM/doc/OpenXM-web/index.html 2000/01/18 07:30:12 1.1 +++ OpenXM/doc/OpenXM-web/index.html 2022/03/28 23:50:00 1.77 @@ -1,91 +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 18, 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

-
    -
  1. Design and Implementation of OpenXM - (in English, PS) , - (in English, HTML) , - (in Japanese, PS) , - (in Japanese, HTML) . +

    Source Distribution (Download)

    -
  2. OX tags - [ OX tags ]. -
  3. CMO tags - [ CMO tags]. -
  4. SM commands - [ SM commands]. -
  5. More documents +
      +
    1. HEAD branch is available from our web site: +[Source (Shift+Click)]. +
    2. A snapshot of the head branch can be obtainable from + here . +It is updated everyday. +
    -
  6. 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

+
    +
  1. 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
+
  2.  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
+
    
+
  3. 
+
    +    sudo apt update
+    sudo apt install openxm
+
    
+
-

-

Source Distributions

-
    -
  1. Version 20000124 - [ Source ]. +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 
+
-

-

Binaries

-
    -
  1. FreeBSD 3.* - [ FreeBSD 3.* ]. +

    +ERRATA. +

    -
  2. Linux (glibc 5) - [ Linux (glibc 5) ]. +

    FAQ

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

Papers and Tutorials

+

Links

+
    +
  1. Risa/Asir (Kobe distribution) download page (for unix and windows) + [ + Asir binary for Windows download and so on ...]. +
-
  • 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 + +