===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v
retrieving revision 1.20
retrieving revision 1.31
diff -u -p -r1.20 -r1.31
--- OpenXM/doc/OpenXM-web/top.html	2009/02/24 01:33:52	1.20
+++ OpenXM/doc/OpenXM-web/top.html	2015/07/28 06:41:25	1.31
@@ -11,7 +11,8 @@
 <a href="Current/index.html"> Download </a>,
 <a href="Current/index-spec.html"> Specifications </a>,
 <a href="Current/doc/index-license.html"> License </a>,
-<a href="http://www.math.sci.kobe-u.ac.jp/cgi/cvsweb.cgi/">cvsweb</a>,
+<a href="Current/video.html"> Video </a>,
+<a href="http://c1.math.kobe-u.ac.jp/cgi-bin/cvsweb.cgi/">cvsweb</a>,
 <a href="index.html"> Top </a>,
 
 
@@ -25,19 +26,11 @@
 <h2> The News </h2>
 
 <ul>
-<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 
-  be updated explicitly (apt-get update will not work properly), i.e., 
-  <pre>
-    dpkg --purge openxm
-    apt-get install openxm
-  </pre>
-  (Feb 24, 2009. openxm-1.2.3-12) <br>
-  In order to install the TeXmacs interface to the user directory, do
-  <pre>
-    cp -r /root/.TeXmacs  ~/.
-  </pre>
+<li> Debian package openxm-1.3.1-13 (network installer, 64bit) can be obtained from
+  <a href="http://fe.math.kobe-u.ac.jp/MathLibre-amd64"> here </a>.
+  Please read <a href="http://fe.math.kobe-u.ac.jp/MathLibre/readme-en.html">readme-en.html</a>
+  in the directory. 
+  (March 27, 2014. openxm-1.3.1-13)
 <li> <a href="news-o.html"> News Archive </a>
 </ul>
 
@@ -73,7 +66,7 @@ the latest specifications.
 
 
 <h2>The WWW interface for OpenXM CVS Repositry
-[<a HREF="http://www.math.sci.kobe-u.ac.jp/cgi/cvsweb.cgi/">cvsweb</a>]
+[<a HREF="http://c1.math.kobe-u.ac.jp/cgi-bin/cvsweb.cgi/">cvsweb</a>]
 </h2>
 
 
@@ -91,6 +84,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>
 
 
@@ -116,8 +110,8 @@ openxm2005@math.Xkobe-u.Xac.Xjp  (please replace ".X" 
 
 
 <pre>
-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.19 2009/02/15 22:18:01 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.30 2014/03/27 07:49:18 takayama Exp $
 </pre>
 
 </BODY>
-</HTML>
\ No newline at end of file
+</HTML>