===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v
retrieving revision 1.25
retrieving revision 1.48
diff -u -p -r1.25 -r1.48
--- OpenXM/doc/OpenXM-web/top.html 2010/10/18 21:59:14 1.25
+++ OpenXM/doc/OpenXM-web/top.html 2022/03/28 10:37:48 1.48
@@ -3,6 +3,8 @@
OpenXM (Open message eXchange for Mathematics)
+
+
@@ -11,7 +13,9 @@
Download ,
Specifications ,
License ,
-cvsweb,
+ Video ,
+cvsweb,
+ Data archive ,
Top ,
@@ -25,34 +29,12 @@
The News
-- Debian package openxm-1.3.1-5 (network installer, 32bit) can be obtained from
- here .
- 64 bit version is provided at 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
-
- (Aug, 2010. openxm-1.3.1-5)
- In order to install the TeXmacs interface and desktop icons, do
-
- apt-get install openxm-skel
- apt-get install openxm-gnome-desktop
-
- If you cannot or must not use apt-get, please download all files starting with openxm-
- from
- http://fe.math.kobe-u.ac.jp/KnoppixMath
- and install them by hand as follows.
-
- sudo su
- dpkg --install openxm_*.deb
- dpkg --install openxm-skel*.deb
-
- Note that openxm_*.deb is a network installer and the main body of the package is downloaded from the internet.
+ - March 4, 2022. Debian package openxm-1.3.3-6 (network installer, 64bit) can be installed
+by apt by adding our openxm repository to /etc/apt/sources.list.d.
+See here as to details.
+If you prefer to install by dpkg, please download the deb package from
+ here .
+
- A workaround of a segmentation fault of Risa/Asir on M1 Mac.
- News Archive
@@ -88,14 +70,14 @@ the latest specifications.
The WWW interface for OpenXM CVS Repositry
-[cvsweb]
+[cvsweb]
Links and Archive
@@ -132,7 +116,7 @@ openxm2005@math.Xkobe-u.Xac.Xjp (please replace ".X"
-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.24 2010/02/25 03:24:30 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.47 2022/03/26 00:18:23 takayama Exp $