=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-doc.html,v retrieving revision 1.5 retrieving revision 1.7 diff -u -p -r1.5 -r1.7 --- OpenXM/doc/OpenXM-web/index-doc.html 2001/06/28 08:18:01 1.5 +++ OpenXM/doc/OpenXM-web/index-doc.html 2002/08/12 06:00:56 1.7 @@ -1,5 +1,5 @@
    @@ -11,11 +11,11 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.4 20 Asir manual in Japanese and dvi .
  1. - Asir contrib manual in English and HTML . - Asir contrib manual in Japanese and HTML . - Asir contrib manual in English and dvi . - Asir contrib manual in English and PS . - Asir contrib manual in Japanese and dvi . + OpenXM/Risa/Asir-contrib manual in English and HTML . + OpenXM/Risa/Asir-contrib manual in Japanese and HTML . + OpenXM/Risa/Asir-contrib manual in English and dvi . + OpenXM/Risa/Asir-contrib manual in English and PS . + OpenXM/Risa/Asir-contrib manual in Japanese and dvi . Asir contrib manual in Japanese and PS .
  2. @@ -24,6 +24,8 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.4 20
  3. Introduction to kan/sm1 in English and PS . Reference manual of kan/sm1 in English and PS . + Introduction to kan/sm1 in English and in HTML . + Reference manual of kan/sm1 in English and in HTML .
  4. Manual of math2ox in English and dvi .