OpenXM (Open message eXchange for Mathematics)

=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v retrieving revision 1.24 retrieving revision 1.45 diff -u -p -r1.24 -r1.45 --- OpenXM/doc/OpenXM-web/top.html 2010/02/25 03:24:30 1.24 +++ 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,23 +28,15 @@

The News

Debian package openxm-1.3.1-4 (network installer, 32bit) can be obtained from - here . - Please read readme-en.html in the directory. Note that the package openxm should - be updated explicitly (apt-get install will not work properly) if openxm 1.3.1-3 or prior - is already installed, i.e., -
```
-    sudo su
-    apt-get install make nkf
-    dpkg --purge openxm
-    apt-get install openxm
-  
```
- (Feb 23, 2010. openxm-1.3.1-4)
- In order to install the TeXmacs interface, do -
```
-    apt-get install openxm-skel
-  
```
- +
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

@@ -77,14 +72,14 @@ 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 @@ -96,6 +91,8 @@ the latest specifications.
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.

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

-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.23 2010/02/07 05:35:49 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.44 2021/10/14 00:05:51 takayama Exp $