=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v retrieving revision 1.37 retrieving revision 1.47 diff -u -p -r1.37 -r1.47 --- OpenXM/doc/OpenXM-web/top.html 2017/07/05 05:52:26 1.37 +++ OpenXM/doc/OpenXM-web/top.html 2022/03/26 00:18:23 1.47 @@ -3,6 +3,8 @@
-(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.36 2017/06/27 09:01:33 takayama Exp $ +$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.46 2022/03/04 01:53:20 takayama Exp $