=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.50 retrieving revision 1.75 diff -u -p -r1.50 -r1.75 --- OpenXM/doc/OpenXM-web/index.html 2002/08/12 06:00:56 1.50 +++ OpenXM/doc/OpenXM-web/index.html 2021/04/02 06:49:16 1.75 @@ -1,133 +1,85 @@ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> <HTML> <!-- -$OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.49 2002/03/02 01:00:25 takayama Exp $ +$OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.74 2021/03/29 08:03:43 takayama Exp $ --> <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"> <TITLE>OpenXM (Open message eXchange for Mathematics)</TITLE> </HEAD> -<BODY> -<H1>OpenXM (Open message eXchange for Mathematics): - http://www.openxm.org </H1> +<BODY bgcolor=#ffffff text=#000000> -<P> -<font color="red"> NEW! RELEASE 1.2.2 </font> -</P> +[<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>, -<P> -Welcome to the home page of OpenXM. -Last update is March 2, 2002, JST. -<A HREF="http://www.math.kobe-u.ac.jp/~kobashi/OpenXM/index-ja.html">Japanese Page (experimental, for 1.1.3)</A>, -</P> +<H1>OpenXM HEAD </H1> <P> -What is OpenXM? It is an infrastructure for mathematical -communication. -We propose standards for mathematical computation -(OpenXM-RFC's). We will also support <a href="www.openmath.org"> OpenMath </a>. -The project is also making experiments to connect mathematical -software systems each other on the infrastructure. -We are providing packages of mathematical software systems -supporting the OpenXM protocol. Here is a quick tour of the OpenXM package: -<A HREF="1.2.2/html/OpenXM-poster/func1/index.html">functions 1</A>, -<A HREF="1.2.2/html/OpenXM-poster/func2/index.html">functions 2</A>, -<A HREF="1.2.2/html/OpenXM-poster/efficient/index.html">Efficient computation</A>. +Welcome to the home page of OpenXM-HEAD <img src="../Stable/logo-openxm5.jpg"> </P> -<H2>Specifications (for 1.2.2)</H2> +<H2>Source Distribution (Download) </H2> -<OL> -<LI> <A NAME="SPEC" HREF="OpenXM-RFC.html"> - OpenXM RFC's (OpenXM Request for Comments) - </A> - -<LI>OX tags -[<A HREF="1.2.2/oxMessageTag.h">OX tags</A>]. -<LI>CMO tags -[<A HREF="1.2.2/cmotag.h">CMO tags</A>]. -<LI>SM commands -[<A HREF="1.2.2/smCommand.h">SM commands</A>]. - -<LI><A HREF="1.2.2/doc/index.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> +<LI> HEAD branch is available from our web site: +[<A HREF="http://www.math.sci.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz">Source (Shift+Click)</A>]. +<li> A snapshot of the head branch can be obtainable from +<a href="http://air.s.kanazawa-u.ac.jp/~ohara/software.html"> here </a>. +It is updated everyday. </OL> -<H2>Source Distributions (RELEASE_1_2_2)</H2> +<ul> +<li> <a href="install-en.txt"> Installation guide in English </a> +<li> <a href="install-ja.txt"> Installation guide in Japanse </a> +</ul> -<OL> -<LI> Version of 1.2.2 is available from -our ftp site: -[<A HREF="ftp://ftp.math.sci.kobe-u.ac.jp/pub/OpenXM/1.2.2/openxm-1.2.1.tar.gz">Source (Shift+Click)</A>]. -<LI> Semi-HEAD branch is available from -our ftp site: -[<A HREF="ftp://ftp.math.sci.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz">Source (Shift+Click)</A>]. -</OL> +<h2 id="apt"> Debian package for amd64</h2> +<ol> +<li> Add the following to /etc/apt/sources.list +<pre> + deb http://www.math.kobe-u.ac.jp/deb2/ unstable/ + deb http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/ +<pre> +<li> Add our keys to your system. +The keys are at <a href="http://www.math.kobe-u.ac.jp/deb2/pub-keys"> + http://www.math.kobe-u.ac.jp/deb2/pub-keys </a> +<pre> + apt-key add mathlibre.pub + apt-key add debian-math.kobe-u.ac.jp.pub +</pre> +<li> +<pre> + sudo apt-get update + sudo apt-get install openxm +</pre> +</ol> <H2> -<a href="anonymous.html"> -Getting the latest version (HEAD branch) from anonymous CVS server </a> </H2> - -<H2>Binary Distribution by tar+gzip (RELEASE_1_2_2) -<A HREF="1.2.2/index-binary.html">Binary</A>. +<A HREF="ERRATA.html">ERRATA</A>. </H2> -<H2>Binary Distribution by Packages (RELEASE_1_2_2) -<A HREF="1.2.2/index-packages.html">Packages</A>. <BR> -</H2> - - -<P> -ERRATA RELEASE_1_2_2 -<A HREF="1.2.2/ERRATA.html">ERRATA</A>. +<H2> FAQ </H2> +Questions and Answers (in Enshlish) <A HREF="OpenXM-FAQ-en.txt">FAQ</A>. <BR> -Questions and Answers (in Enshlish) <A HREF="1.2.2/OpenXM-FAQ-en.txt">FAQ</A>. -<BR> -Questions and Answers (in Japanese) <A HREF="1.2.2/OpenXM-FAQ-ja.txt">FAQ</A>. -</P> +Questions and Answers (in Japanese) <A HREF="OpenXM-FAQ-ja.txt">FAQ</A>. -<H2>Papers and Tutorials</H2> -<OL> -<LI>The Design and Implementation of OpenXM-RFC 100 and 101 -[<A HREF="ascm2001/ascm2001/index.html">Survey</A>]. -</OL> +<H2>Links</H2> -<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>References</H2> - <OL> -<LI>The primary distribution site of asir [<A HREF="ftp://archives.cs.ehime-u.ac.jp/pub/asir2000">Asir</A>]. -<LI> Risa/Asir download page in English (for unix, windows) - [<A HREF="http://www.math.kobe-u.ac.jp/Asir/asir.html"> - Asir download</A>]. -<LI>An introductory book on a computer algebra system Risa/Asir (in Japanese) - [<A HREF="asir.jpeg"> Cover Page, ISBN4-87243-076-X </A>]. +<LI> Risa/Asir (Kobe distribution) download page (for unix and windows) + [<A HREF="http://www.math.kobe-u.ac.jp/Asir/index.html"> + Asir binary for Windows download and so on ...</A>]. </OL> -<H2>Archive</H2> -<OL> -<LI>OpenXM 1.1.1 (20000124) [<A HREF="http://www.math.sci.kobe-u.ac.jp/OpenXM/20000124/index.html"> 1.1.1 (January 24, 2000) Experimental </A>]. -<LI>OpenXM 1.1.2 [<A HREF="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.1.2/index.html"> 1.1.2 (March 20, 2000) Stable</A>]. -<LI>OpenXM 1.1.3 [<A HREF="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.1.3/index.html"> 1.1.3 (September 26, 2000) </A>]. -<LI>OpenXM 1.2.1 [<A HREF="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.2.1/index.html"> 1.2.1 (March 2, 2002)</A>]. -</OL> - - -<H2><A HREF="people.html"> People </A> </H2> -<OL> - </OL>