=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-doc.html,v retrieving revision 1.10 retrieving revision 1.14 diff -u -p -r1.10 -r1.14 --- OpenXM/doc/OpenXM-web/index-doc.html 2004/06/27 18:03:39 1.10 +++ OpenXM/doc/OpenXM-web/index-doc.html 2005/11/18 12:20:58 1.14 @@ -1,8 +1,18 @@ + +[ in Japanese ]
+ Documents , + Download , + Specifications , + License , +cvsweb, + Top , + +
  1. Asir manual. @@ -14,12 +24,23 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.9 20
  2. OpenXM Risa/Asir-contrib manual. + +
  3. + +OpenXM/Risa/Asir-contrib manuals (not in texinfo), tutorials. + + +
  4. Real Quadratic Quntifier Elimination in Risa/Asir. +
  5. Inside Asir.