=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-doc.html,v retrieving revision 1.8 retrieving revision 1.28 diff -u -p -r1.8 -r1.28 --- OpenXM/doc/OpenXM-web/index-doc.html 2003/03/25 11:30:10 1.8 +++ OpenXM/doc/OpenXM-web/index-doc.html 2022/03/26 00:18:23 1.28 @@ -1,44 +1,91 @@ + +[ in Japanese ]
+ Documents , + Download , + Specifications , + License , +cvsweb, +Search, + Data archive , + Top , + +
    -
  1. +
  2. Asir manual. -
  3. +
  4. OpenXM Risa/Asir-contrib manual. -
  5. - Inside Asir in HTML (Japanse) . +
  6. + +OpenXM/Risa/Asir-contrib manuals (not in texinfo), tutorials. + -
  7. +
  8. Real Quadratic Quntifier Elimination in Risa/Asir. -
  9. +
  10. Inside Asir. + +
  11. Experimental Functions in Asir. + + +
  12. Risa/Asir Journal + + +
  13. Introduction to kan/sm1. + + +
  14. Reference manual of kan/sm1. + + +
  15. miscellaneous and others +
- \ No newline at end of file +