===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-doc.html,v
retrieving revision 1.24
retrieving revision 1.27
diff -u -p -r1.24 -r1.27
--- OpenXM/doc/OpenXM-web/index-doc.html 2017/03/30 07:10:21 1.24
+++ OpenXM/doc/OpenXM-web/index-doc.html 2019/03/28 23:03:04 1.27
@@ -1,5 +1,5 @@
@@ -10,6 +10,7 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.23 2
Specifications ,
License ,
cvsweb,
+Search
Top ,
@@ -48,12 +49,12 @@ OpenXM/Risa/Asir-contrib manuals (not in texinfo), tut
Inside Asir.
Experimental Functions in Asir.
Risa/Asir Journal
@@ -64,13 +65,17 @@ OpenXM/Risa/Asir-contrib manuals (not in texinfo), tut
Introduction to kan/sm1.
Reference manual of kan/sm1.
miscellaneous and others