=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v retrieving revision 1.18 retrieving revision 1.19 diff -u -p -r1.18 -r1.19 --- OpenXM/doc/OpenXM-web/top.html 2009/02/15 09:58:30 1.18 +++ OpenXM/doc/OpenXM-web/top.html 2009/02/15 22:18:01 1.19 @@ -80,6 +80,7 @@ the latest specifications.
  • Risa/Asir (Kobe distribution) download (for unix, windows) [ Asir download]. +
  • Mathematical data/projects
  • OpenXM 1.1.1 (20000124) [ 1.1.1 (January 24, 2000) Experimental ].
  • OpenXM 1.1.2 [ 1.1.2 (March 20, 2000) Stable].
  • OpenXM 1.1.3 [ 1.1.3 (September 26, 2000) ]. @@ -112,7 +113,7 @@ openxm2005@math.Xkobe-u.Xac.Xjp (please replace ".X"
    -$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.17 2008/01/30 02:47:28 takayama Exp $
    +$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.18 2009/02/15 09:58:30 takayama Exp $