=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v retrieving revision 1.25 retrieving revision 1.37 diff -u -p -r1.25 -r1.37 --- OpenXM/doc/OpenXM-web/top.html 2010/10/18 21:59:14 1.25 +++ OpenXM/doc/OpenXM-web/top.html 2017/07/05 05:52:26 1.37 @@ -11,7 +11,8 @@ Download , Specifications , License , -cvsweb, + Video , +cvsweb, Top , @@ -25,34 +26,15 @@
- sudo su - apt-get install make nkf - dpkg --purge openxm - apt-get install openxm -- (Aug, 2010. openxm-1.3.1-5)
- 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. +
+(cd /usr/local/OpenXM/lib/asir ; rm ox_pari ; ln -s ../../bin/ox_pari ox_pari) +
-$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.36 2017/06/27 09:01:33 takayama Exp $