=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-doc.html,v retrieving revision 1.11 retrieving revision 1.14 diff -u -p -r1.11 -r1.14 --- OpenXM/doc/OpenXM-web/index-doc.html 2005/04/14 11:18:04 1.11 +++ OpenXM/doc/OpenXM-web/index-doc.html 2005/11/18 12:20:58 1.14 @@ -1,5 +1,5 @@ @@ -10,6 +10,7 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.10 2 Specifications , License , cvsweb, + Top ,
    @@ -29,6 +30,17 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.10 2
  1. in English and PS.
  2. in Japanese and dvi.
  3. in Japanese and PS. + + +
  4. + +OpenXM/Risa/Asir-contrib manuals (not in texinfo), tutorials. + + +
  5. Real Quadratic Quntifier Elimination in Risa/Asir. +
  6. Inside Asir.