=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.3 retrieving revision 1.75 diff -u -p -r1.3 -r1.75 --- OpenXM/doc/OpenXM-web/index.html 2000/01/20 07:25:25 1.3 +++ OpenXM/doc/OpenXM-web/index.html 2021/04/02 06:49:16 1.75 @@ -1,95 +1,91 @@ + - -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

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

    -

    -

    Source Distributions

    -
      + -
    1. Version 20000124 - [ Source ]. +

      Debian package for amd64

      +
        +
      1. Add the following to /etc/apt/sources.list +
        +  deb http://www.math.kobe-u.ac.jp/deb2/ unstable/
+  deb http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/
+
        +
      2.  Add our keys to your system.
+The keys are at 
+  http://www.math.kobe-u.ac.jp/deb2/pub-keys 
+
        +   apt-key add mathlibre.pub
+   apt-key add debian-math.kobe-u.ac.jp.pub
+
        
+
      3. 
+
        +    sudo apt-get update
+    sudo apt-get install openxm
+
        
+
      -
    -

    +

    +ERRATA. +

    -

    -

    Binaries

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

      FAQ

      +Questions and Answers (in Enshlish) FAQ. +
      +Questions and Answers (in Japanese) FAQ. -
    2. Linux (glibc 5) - [ Linux (glibc 5) (Shift-Click) ]. -
    3. Installation Guide - in English , - in Japanese , +

      Links

      +
        +
      1. Risa/Asir (Kobe distribution) download page (for unix and windows) + [ + Asir binary for Windows download and so on ...].
      -

      Papers and Tutorials

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