=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-doc.html,v retrieving revision 1.9 retrieving revision 1.13 diff -u -p -r1.9 -r1.13 --- OpenXM/doc/OpenXM-web/index-doc.html 2004/06/20 10:00:20 1.9 +++ OpenXM/doc/OpenXM-web/index-doc.html 2005/07/01 09:39:11 1.13 @@ -1,45 +1,69 @@ + +[ in Japanese ]
+ Documents , + Download , + Specifications , + License , +cvsweb, + Top , + +
    -
  1. +
  2. Asir manual. -
  3. +
  4. OpenXM Risa/Asir-contrib manual. -
  5. - Inside Asir in HTML (Japanse) . +
  6. Real Quadratic Quntifier Elimination in Risa/Asir. + -
  7. - Experimental Functions in Asir(in HTML, Japanse) . +
  8. Inside Asir. + -
  9. +
  10. Experimental Functions in Asir. -
  11. +
  12. Introduction to kan/sm1. + +
  13. Reference manual of kan/sm1. + + +
  14. miscellaneous. +