=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v retrieving revision 1.23 retrieving revision 1.37 diff -u -p -r1.23 -r1.37 --- OpenXM/doc/OpenXM-web/top.html 2010/02/07 05:35:49 1.23 +++ 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,21 +26,15 @@
- apt-get install make nkf - dpkg --purge openxm - apt-get install openxm -- (Feb 12, 2010. openxm-1.3.1-1)
- cp -r /root/.TeXmacs ~/. -- +
+(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.22 2009/09/13 00:25:54 takayama Exp $ +$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.36 2017/06/27 09:01:33 takayama Exp $