version 1.55, 2003/03/26 00:55:31 |
version 1.76, 2022/03/28 10:33:48 |
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> |
<HTML> |
<HTML> |
<!-- |
<!-- |
$OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.54 2003/03/25 11:30:10 takayama Exp $ |
$OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.75 2021/04/02 06:49:16 takayama Exp $ |
--> |
--> |
<HEAD> |
<HEAD> |
<LINK REV=MADE HREF="mailto:takayama@math.sci.kobe-u.ac.jp"> |
<LINK REV=MADE HREF="mailto:openxm2005@math(ematics).sci.kobe-u.ac.jp"> |
<META http-equiv="Content-Type" content="text/html; charset=us-ascii"> |
<META http-equiv="Content-Type" content="text/html; charset=us-ascii"> |
<TITLE>OpenXM (Open message eXchange for Mathematics)</TITLE> |
<TITLE>OpenXM (Open message eXchange for Mathematics)</TITLE> |
</HEAD> |
</HEAD> |
<BODY bgcolor=#ffffff text=#000000> |
<BODY bgcolor=#ffffff text=#000000> |
|
|
|
[<a href="index-ja.html"> in Japanese </a>] <br> |
|
<a href="doc/index-doc.html"> Documents </a>, |
|
<a href="index.html"> Download </a>, |
|
<a href="index-spec.html"> Specifications </a>, |
|
<a href="doc/index-license.html"> License </a>, |
|
<a href="http://c1.math.kobe-u.ac.jp/cgi-bin/cvsweb.cgi/">cvsweb</a>, |
|
<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/index.html">Top</a>, |
|
|
<H1>OpenXM HEAD </H1> |
<H1>OpenXM HEAD </H1> |
|
|
<P> |
<P> |
Welcome to the home page of OpenXM-HEAD <img src="../Stable/logo-openxm5.jpg"> |
Welcome to the home page of OpenXM-HEAD <img src="../Stable/logo-openxm5.jpg"> |
</P> |
</P> |
|
|
<H2>Specifications</H2> |
|
|
|
<OL> |
|
|
|
<LI> <A NAME="SPEC" HREF="OpenXM-RFC.html"> |
|
OpenXM RFC's (OpenXM Request for Comments) |
|
</A> |
|
|
|
<LI>OX tags |
|
[<A HREF="oxMessageTag.h">OX tags</A>]. |
|
<LI>CMO tags |
|
[<A HREF="cmotag.h">CMO tags</A>]. |
|
<LI>SM commands |
|
[<A HREF="smCommand.h">SM commands</A>]. |
|
|
|
<LI><A HREF="doc/index-doc.html">Documents</A> (Asir user's manual, Asir contrib user's manual, sm1 reference manual, |
|
OpenXM technical report series, etc) |
|
|
|
<LI>If you want to add a new OpenXM RFC, please mail to |
|
<A HREF="mailto:takayama@math.kobe-u.ac.jp">takayama@math.kobe-u.ac.jp</A> |
|
See <A HREF="index.html#SPEC">the specification</A> |
|
how to describe OpenXM RFC's. |
|
</OL> |
|
|
|
<H2>Source Distribution (Download) </H2> |
<H2>Source Distribution (Download) </H2> |
|
|
|
|
<OL> |
<OL> |
<LI> OpenXM 1.2.1 |
<LI> HEAD branch is available from our web site: |
[<A HREF="ftp://ftp.math.sci.kobe-u.ac.jp/pub/OpenXM/1.2.1/openxm-1.2.1.tar.gz">Source (Shift+Click)</A>]. |
[<A HREF="http://www.math.sci.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz">Source (Shift+Click)</A>]. |
<LI> Semi-HEAD branch is available from our ftp site: |
<li> A snapshot of the head branch can be obtainable from |
[<A HREF="ftp://ftp.math.sci.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz">Source (Shift+Click)</A>]. |
<a href="http://air.s.kanazawa-u.ac.jp/~ohara/software.html"> here </a>. |
|
It is updated everyday. |
</OL> |
</OL> |
|
|
<ul> |
<ul> |
Line 53 how to describe OpenXM RFC's. |
|
Line 41 how to describe OpenXM RFC's. |
|
<li> <a href="install-ja.txt"> Installation guide in Japanse </a> |
<li> <a href="install-ja.txt"> Installation guide in Japanse </a> |
</ul> |
</ul> |
|
|
<H2> |
<h2 id="apt"> Debian package for amd64</h2> |
Getting the latest version (HEAD branch) from <a href="anonymous.html"> |
<ol> |
anonymous CVS server </a> |
<li> Add the file fe-deb2.list of which contents are |
(It is out of service! Use cvsup instead. See OpenXM/misc/openxm-cvs-supfile) |
<pre> |
</H2> |
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/ |
|
<pre> |
|
under /etc/apt/sources.list.d |
|
<li> Add our gpg public key to your system. |
|
The key is at <a href="http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg"> |
|
http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg </a> |
|
Copy this file to /usr/share/keyrings by |
|
<pre> |
|
sudo cp fe-deb2-archive-keyring.gpg /usr/share/keyrings |
|
</pre> |
|
<li> |
|
<pre> |
|
sudo apt update |
|
sudo apt install openxm |
|
</pre> |
|
</ol> |
|
|
|
|
|
The following commands execute the above instruction. |
|
<pre> |
|
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 |
|
</pre> |
|
|
<H2> |
<H2> |
<A HREF="ERRATA.html">ERRATA</A>. |
<A HREF="ERRATA.html">ERRATA</A>. |
</H2> |
</H2> |
Line 69 Questions and Answers (in Enshlish) <A HREF="OpenXM-FA |
|
Line 82 Questions and Answers (in Enshlish) <A HREF="OpenXM-FA |
|
Questions and Answers (in Japanese) <A HREF="OpenXM-FAQ-ja.txt">FAQ</A>. |
Questions and Answers (in Japanese) <A HREF="OpenXM-FAQ-ja.txt">FAQ</A>. |
|
|
|
|
<H2>The WWW interface for OpenXM CVS Repositry |
|
[<A HREF="http://www.math.sci.kobe-u.ac.jp/cgi/cvsweb.cgi/">cvsweb</A>] |
|
</H2> |
|
|
|
<H2>Links</H2> |
<H2>Links</H2> |
|
|
<OL> |
<OL> |
<LI>Risa/Asir home page at Ehime [<A HREF="ftp://archives.cs.ehime-u.ac.jp/pub/asir2000">Asir</A>]. |
|
<LI> Risa/Asir (Kobe distribution) download page (for unix and windows) |
<LI> Risa/Asir (Kobe distribution) download page (for unix and windows) |
[<A HREF="http://www.math.kobe-u.ac.jp/Asir/index.html"> |
[<A HREF="http://www.math.kobe-u.ac.jp/Asir/index.html"> |
Asir download</A>]. |
Asir binary for Windows download and so on ...</A>]. |
</OL> |
</OL> |
|
|
<H2><A HREF="../people.html"> People </A> </H2> |
|
<OL> |
|
|
|
</OL> |
</OL> |
|
|
|
|