=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v retrieving revision 1.37 retrieving revision 1.39 diff -u -p -r1.37 -r1.39 --- OpenXM/doc/OpenXM-web/top.html 2017/07/05 05:52:26 1.37 +++ OpenXM/doc/OpenXM-web/top.html 2019/06/12 23:02:37 1.39 @@ -26,15 +26,11 @@
-(cd /usr/local/OpenXM/lib/asir ; rm ox_pari ; ln -s ../../bin/ox_pari ox_pari) -+ in the directory. Risa/Asir is upgraded to asir2018 from asir2000. + (June 12, 2019. openxm-1.3.3-1)
-$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.38 2018/03/11 23:36:49 takayama Exp $