===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v
retrieving revision 1.22
retrieving revision 1.23
diff -u -p -r1.22 -r1.23
--- OpenXM/doc/OpenXM-web/top.html	2009/09/13 00:25:54	1.22
+++ OpenXM/doc/OpenXM-web/top.html	2010/02/07 05:35:49	1.23
@@ -25,7 +25,7 @@
 <h2> The News </h2>
 
 <ul>
-<li> Debian package of openxm-1-2.3-12 (for etch, partially works for lenny) 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-en.html in the directory. Note that the package openxm should 
   be updated explicitly (apt-get update will not work properly), i.e., 
@@ -34,13 +34,12 @@
     dpkg --purge openxm
     apt-get install openxm
   </pre>
-  (Feb 24, 2009. openxm-1.2.3-12) <br>
+  (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>
-  If you install the pacakge on the ubuntu, you will have a trouble. Please read 
-  <a href="Current/OpenXM-FAQ-en.txt"> the FAQ </a> first (search  "Ubuntu 9.04").
+
 <li> <a href="news-o.html"> News Archive </a>
 </ul>
 
@@ -94,6 +93,7 @@ the latest specifications.
 <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>
 
 
@@ -119,8 +119,8 @@ openxm2005@math.Xkobe-u.Xac.Xjp  (please replace ".X" 
 
 
 <pre>
-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.21 2009/02/24 06:01:15 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>