=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.55 retrieving revision 1.77 diff -u -p -r1.55 -r1.77 --- OpenXM/doc/OpenXM-web/index.html 2003/03/26 00:55:31 1.55 +++ OpenXM/doc/OpenXM-web/index.html 2022/03/28 23:50:00 1.77 @@ -1,51 +1,39 @@ - + OpenXM (Open message eXchange for Mathematics) + +[ in Japanese ]
+ Documents , + Download , + Specifications , + License , +cvsweb, +Top, +

OpenXM HEAD

Welcome to the home page of OpenXM-HEAD

-

Specifications

-
    - -
  1. - OpenXM RFC's (OpenXM Request for Comments) - - -
  2. OX tags -[OX tags]. -
  3. CMO tags -[CMO tags]. -
  4. SM commands -[SM commands]. - -
  5. Documents (Asir user's manual, Asir contrib user's manual, sm1 reference manual, -OpenXM technical report series, etc) - -
  6. If you want to add a new OpenXM RFC, please mail to -takayama@math.kobe-u.ac.jp -See the specification -how to describe OpenXM RFC's. -
-

Source Distribution (Download)

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

-Getting the latest version (HEAD branch) from -anonymous CVS server -(It is out of service! Use cvsup instead. See OpenXM/misc/openxm-cvs-supfile) -

+

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

ERRATA.

@@ -69,22 +91,14 @@ Questions and Answers (in Enshlish) FAQ. -

The WWW interface for OpenXM CVS Repositry -[cvsweb] -

-

Links

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

People

-
    -