===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v
retrieving revision 1.27
retrieving revision 1.30
diff -u -p -r1.27 -r1.30
--- OpenXM/doc/OpenXM-web/top.html	2011/04/28 06:25:58	1.27
+++ OpenXM/doc/OpenXM-web/top.html	2014/03/27 07:49:18	1.30
@@ -11,6 +11,7 @@
 <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="Current/video.html"> Video </a>,
 <a href="http://www.math.sci.kobe-u.ac.jp/cgi/cvsweb.cgi/">cvsweb</a>,
 <a href="index.html"> Top </a>,
 
@@ -25,12 +26,11 @@
 <h2> The News </h2>
 
 <ul>
-<li> Debian package openxm-1.3.1-6 (network installer, 32bit) can be obtained from
-  <a href="http://fe.math.kobe-u.ac.jp/KnoppixMath"> here </a>.
-  64 bit version is provided at <a href="http://fe.math.kobe-u.ac.jp/KnoppixMath64"> here </a>.
-  Please read <a href="http://fe.math.kobe-u.ac.jp/KnoppixMath/readme-en.html">readme-en.html</a>
+<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. 
-  (Feb 22, 2011. openxm-1.3.1-6)
+  (March 27, 2014. openxm-1.3.1-13)
 <li> <a href="news-o.html"> News Archive </a>
 </ul>
 
@@ -110,7 +110,7 @@ openxm2005@math.Xkobe-u.Xac.Xjp  (please replace ".X" 
 
 
 <pre>
-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.26 2011/04/28 04:48:08 noro Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.29 2012/05/15 05:39:45 takayama Exp $
 </pre>
 
 </BODY>