===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v
retrieving revision 1.16
retrieving revision 1.23
diff -u -p -r1.16 -r1.23
--- OpenXM/doc/OpenXM-web/top.html	2007/10/16 02:46:07	1.16
+++ OpenXM/doc/OpenXM-web/top.html	2010/02/07 05:35:49	1.23
@@ -25,20 +25,21 @@
 <h2> The News </h2>
 
 <ul>
-<li> Debian package of opexm can be obtained from
+<li> Debian package of openxm-1-3.1-1 can be obtained from
   <a href="http://fe.math.kobe-u.ac.jp/KnoppixMath"> here </a>.
-  Please read Readme.txt in the directory. Note that the package openxm should 
+  Please read readme-en.html in the directory. Note that the package openxm should 
   be updated explicitly (apt-get update will not work properly), i.e., 
   <pre>
+    apt-get install make nkf
     dpkg --purge openxm
     apt-get install openxm
   </pre>
-  (Aug 28, 2007) <br>
-  Known problems: (1) Please also check that /bin/sh is a symbolic link to /bin/bash. Otherwise installation will fail. (2) If gcc is not installed, please install it by "apt-get  install gcc".
-<li> New packages in asir-contrib: y_prime (prime number test, etc), 
-fj_curve (the dual graph of the resolution of singularity of curves), 
-nk_mora (tangent cone algorithm for D, local b-function) (Nov 11, 2005).
-<li> InftyEditor(Math editor with OCR and handwriting interface) plugin for OpenXM (February 18, 2005) <a href="http://www.inftyproject.org/calc"> Download </a>
+  (Feb 12, 2010. openxm-1.3.1-1) <br>
+  In order to install the TeXmacs interface to the user directory, do
+  <pre>
+    cp -r /root/.TeXmacs  ~/.
+  </pre>
+
 <li> <a href="news-o.html"> News Archive </a>
 </ul>
 
@@ -84,12 +85,15 @@ the latest specifications.
 <li> Risa/Asir (Kobe distribution) download (for unix, windows)
  [<a href="http://www.math.kobe-u.ac.jp/Asir/index.html">
    Asir download</a>].
+<li> <a href="http://www.math.kobe-u.ac.jp/OpenXM/Math"> Mathematical data/projects </a>
 <li>OpenXM 1.1.1 (20000124) [<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/20000124/index.html"> 1.1.1 (January 24, 2000) Experimental </a>].
 <li>OpenXM 1.1.2 [<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.1.2/index.html"> 1.1.2 (March 20, 2000) Stable</a>].
 <li>OpenXM 1.1.3 [<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.1.3/index.html"> 1.1.3 (September 26, 2000) </a>].
 <li>OpenXM 1.2.1 [<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.2.1/index.html"> 1.2.1 (March 2, 2002)</a>].
 <li>OpenXM 1.2.2 [<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.2.2/index.html"> 1.2.2 (May 13, 2003)</a>].
 <li>OpenXM 1.2.3 [<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.2.3/index.html"> 1.2.3 (February, 2005)</a>].
+<li>OpenXM 1.2.3-10 [<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.2.3-10/index.html"> 1.2.3-10 (February, 2008)</a>].
+<li>OpenXM 1.2.3-12 [<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/1.2.3-12/index.html"> 1.2.3-12 (February, 2009)</a>].
 </ul>
 
 
@@ -115,8 +119,8 @@ openxm2005@math.Xkobe-u.Xac.Xjp  (please replace ".X" 
 
 
 <pre>
-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.15 2007/08/28 06:16:54 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.22 2009/09/13 00:25:54 takayama Exp $
 </pre>
 
 </BODY>
-</HTML>
\ No newline at end of file
+</HTML>