===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/news-o.html,v
retrieving revision 1.5
retrieving revision 1.7
diff -u -p -r1.5 -r1.7
--- OpenXM/doc/OpenXM-web/news-o.html	2009/02/24 01:33:52	1.5
+++ OpenXM/doc/OpenXM-web/news-o.html	2010/02/25 03:24:30	1.7
@@ -24,6 +24,38 @@
 <h2> News </h2>
 
 <ul>
+<li> Debian package openxm-1.3.1-4 (network installer, 32bit) 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 install will not work properly) if openxm 1.3.1-3 or prior
+  is already installed, i.e., 
+  <pre>
+    sudo su
+    apt-get install make nkf
+    dpkg --purge openxm
+    apt-get install openxm
+  </pre>
+  (Feb 23, 2010. openxm-1.3.1-4) <br>
+  In order to install the TeXmacs interface, do
+  <pre>
+    apt-get install openxm-skel
+  </pre>
+
+
+<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., 
+  <pre>
+    apt-get install make nkf
+    dpkg --purge openxm
+    apt-get install openxm
+  </pre>
+  (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> Debian package of openxm-1-2.3-12 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 
@@ -72,8 +104,8 @@ nk_mora (tangent cone algorithm for D, local b-functio
 </ul>
 
 <pre>
-$OpenXM: OpenXM/doc/OpenXM-web/news-o.html,v 1.4 2009/02/15 09:58:30 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/news-o.html,v 1.6 2010/02/07 05:35:49 takayama Exp $
 </pre>
 
 </BODY>
-</HTML>
\ No newline at end of file
+</HTML>