===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v
retrieving revision 1.17
retrieving revision 1.18
diff -u -p -r1.17 -r1.18
--- OpenXM/doc/OpenXM-web/top.html	2008/01/30 02:47:28	1.17
+++ OpenXM/doc/OpenXM-web/top.html	2009/02/15 09:58:30	1.18
@@ -33,14 +33,8 @@
     dpkg --purge openxm
     apt-get install openxm
   </pre>
-  (Jan 30, 2008) <br>
+  (Jan 30, 2008. openxm-1.2.3-10) <br>
   Known problems: (1) If gcc is not installed, please install it by "apt-get  install gcc".  It is not written in dependency.
-<li> New packages in asir-contrib: taji_alc (algebraic local cohomology in 1 variables),  f_res (resultants). Try ox_grep("taji_alc") or ox_grep("f_res"); [documents are in Japanese only]
-(Jan 30, 2008)
-<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>
 <li> <a href="news-o.html"> News Archive </a>
 </ul>
 
@@ -92,6 +86,7 @@ the latest specifications.
 <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>].
 </ul>
 
 
@@ -117,7 +112,7 @@ openxm2005@math.Xkobe-u.Xac.Xjp  (please replace ".X" 
 
 
 <pre>
-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.16 2007/10/16 02:46:07 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.17 2008/01/30 02:47:28 takayama Exp $
 </pre>
 
 </BODY>