OpenXM (Open message eXchange for Mathematics)

=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v retrieving revision 1.15 retrieving revision 1.45 diff -u -p -r1.15 -r1.45 --- OpenXM/doc/OpenXM-web/top.html 2007/08/28 06:16:54 1.15 +++ OpenXM/doc/OpenXM-web/top.html 2021/12/27 23:40:42 1.45 @@ -3,6 +3,8 @@ OpenXM (Open message eXchange for Mathematics) + + @@ -11,7 +13,8 @@ Download , Specifications , License , -cvsweb, + Video , +cvsweb, Top , @@ -25,19 +28,15 @@

The News

Debian package of opexm can be obtained from - here . - Please read Readme.txt in the directory. Note that the package openxm should - be updated explicitly (apt-get update will not work properly), i.e., -
```
-    dpkg --purge openxm
-    apt-get install openxm
-  
```
- (Aug 28, 2007) -
New packages in asir-contrib: y_prime (prime number test, etc), -fj_curve (the dual graph of the resolution of singularity of curves), -nk_mora (tangent cone algorithm for D, local b-function) (Nov 11, 2005). -
InftyEditor(Math editor with OCR and handwriting interface) plugin for OpenXM (February 18, 2005) Download +
A workaround of a segmentation fault of Risa/Asir on M1 Mac. +
Debian package openxm-1.3.3-5 (network installer, 64bit) can be installed +by apt by adding our openxm repository to /etc/apt/sources.list. +See here as to details. +If you prefer to install by dpkg, please download the deb package from + here . + + (July 27, 2021. openxm-1.3.3-5, bugs of the package 1.3.3-4 are fixed.)
News Archive

@@ -73,22 +72,27 @@ the latest specifications.

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

Links and Archive

Risa/Asir (Kobe distribution) download (for unix, windows) +
Risa/Asir (Kobe distribution) download (for unix, windows, mac) [ Asir download]. +
Mathematical data/projects
OpenXM 1.1.1 (20000124) [ 1.1.1 (January 24, 2000) Experimental ].
OpenXM 1.1.2 [ 1.1.2 (March 20, 2000) Stable].
OpenXM 1.1.3 [ 1.1.3 (September 26, 2000) ].
OpenXM 1.2.1 [ 1.2.1 (March 2, 2002)].
OpenXM 1.2.2 [ 1.2.2 (May 13, 2003)].
OpenXM 1.2.3 [ 1.2.3 (February, 2005)]. +
OpenXM 1.2.3-10 [ 1.2.3-10 (February, 2008)]. +
OpenXM 1.2.3-12 [ 1.2.3-12 (February, 2009)]. +
ftp://ftp.math.kobe-u.ac.jp/pub/XXX no longer works. Use http://www.math.kobe-u.ac.jp/pub/XXX instead. +
See the news archive for the archive of debians packages.

@@ -114,8 +118,8 @@ openxm2005@math.Xkobe-u.Xac.Xjp (please replace ".X"

-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.14 2005/11/20 00:56:47 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.44 2021/10/14 00:05:51 takayama Exp $

- \ No newline at end of file +