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

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

Source Distributions

-
    -
  1. Version 20000124 -[Source]. +
  2. HEAD branch is available from our web site: +[Source (Shift+Click)]. +
  3. A snapshot of the head branch can be obtainable from + here . +It is updated everyday.
-

Binaries

+ -
    -
  1. Installation Guide -in English, -in Japanese, +

    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
      +
      +
    -
  2. FreeBSD 3.3 -[FreeBSD 3.3 (Shift-Click)]. +

    +ERRATA. +

    -
  3. Linux (glibc 5) -[Linux (glibc 5) (Shift-Click)]. +

    FAQ

    +Questions and Answers (in Enshlish) FAQ. +
    +Questions and Answers (in Japanese) FAQ. -
  4. Linux (glibc 6) -[Linux (glibc 6) (Shift-Click)]. -
-

-ERRATA Version 20000124 -ERRATA. -

+

Links

-

Papers and Tutorials

    -
  1. OpenXM --- an Open System to Integrate Mathematical Softwares -[Survey]. +
  2. Risa/Asir (Kobe distribution) download page (for unix and windows) + [ + Asir binary for Windows download and so on ...].
- -

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

- -

References

- -
    -
  1. The primary distribution cite of asir [Asir].
+
takayama@math.sci.kobe-u.ac.jp
- \ No newline at end of file +