=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.20 retrieving revision 1.77 diff -u -p -r1.20 -r1.77 --- OpenXM/doc/OpenXM-web/index.html 2000/03/17 03:18:41 1.20 +++ OpenXM/doc/OpenXM-web/index.html 2022/03/28 23:50:00 1.77 @@ -1,105 +1,104 @@ - + -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 March 11, 2000 JST. -

+[ in Japanese ]
+ Documents , + Download , + Specifications , + License , +cvsweb, +Top, -

Version 1.1.2 is now under tests of committers. - It will be fixed on March 20, 2000. -The home page of the previous version is at -OpenXM 1.1.1 (20000124) [ 1.1.1 (January 24, 2000) Experimental ]. -

+

OpenXM HEAD

-What is OpenXM? See a -survey. +Welcome to the home page of OpenXM-HEAD

-

Specifications

+

Source Distribution (Download)

+
    +
  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. +
-
  • Design and Implementation of OpenXM -(in English, PS), -(in English, HTML), -(in Japanese, PS), -(in Japanese, HTML). + -
  • OX tags -[OX tags]. -
  • CMO tags -[CMO tags]. -
  • SM commands -[SM commands]. +

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

    Source Distributions (RELEASE_1.1.2)

    +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 
    +
    -
      -
    1. OpenXM, OpenXM_contrib -[Source (Shift+Click)]. -
    2. OpenXM_contrib2 requires a source code license from -Fujitsu Lab. -
    - -

    Binary Distribution by tar+gzip (RELEASE_1_1_2) -Binary. +

    +ERRATA.

    -

    Binary Distribution by Packages (RELEASE_1_1_2) -Packages.
    -

    +

    FAQ

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

    -ERRATA RELEASE_1_1_2 -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]. -
    2. An introductory book on a computer algebra system Risa/Asir (in Japanese) - [ Cover Page, ISBN4-87243-076-X ]. -
    - -

    Archive

    -
      -
    1. OpenXM 1.1.1 (20000124) [ 1.1.1 (January 24, 2000) Experimental ]. -
    2. OpenXM 1.1.2 [ 1.1.2 (March 20, 2000) Stable, Current].