=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v retrieving revision 1.36 retrieving revision 1.37 diff -u -p -r1.36 -r1.37 --- OpenXM/doc/OpenXM-web/top.html 2017/06/27 09:01:33 1.36 +++ OpenXM/doc/OpenXM-web/top.html 2017/07/05 05:52:26 1.37 @@ -31,6 +31,10 @@ Please read readme-en.html in the directory. (Mar 1, 2017. openxm-1.3.2-3) +
  • Bug fix (ox_pari does not start with "invalid server id" in 1.3.2-3): execute the following commands as the root. +
    +(cd  /usr/local/OpenXM/lib/asir ; rm ox_pari ; ln -s ../../bin/ox_pari ox_pari)
    +
  • News Archive @@ -112,7 +116,7 @@ openxm2005@math.Xkobe-u.Xac.Xjp (please replace ".X"
    -$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.35 2016/03/31 07:49:28 takayama Exp $
    +$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.36 2017/06/27 09:01:33 takayama Exp $