=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-doc-ja.html,v retrieving revision 1.2 retrieving revision 1.12 diff -u -p -r1.2 -r1.12 --- OpenXM/doc/OpenXM-web/index-doc-ja.html 2005/04/15 00:50:54 1.2 +++ OpenXM/doc/OpenXM-web/index-doc-ja.html 2014/03/28 03:02:36 1.12 @@ -1,7 +1,8 @@ + [ in English ]
@@ -17,21 +18,31 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc-ja.html,v 1.1

Asir のマニュアル

OpenXM/Risa/Asir-contrib のマニュアル

+ +OpenXM/Risa/Asir-contrib のマニュアル(texinfo でないもの), 入門等. + + +

Asir の2次量詞消去機能について +

英語, PDF +
英語, PS +

Asir の内部構造について

日本語, HTML @@ -42,12 +53,17 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc-ja.html,v 1.1
日本語, HTML.

Risa/Asir Journal +

Risa/Asir ジャーナル +

kan/sm1 入門

- +s

kan/sm1 マニュアル

in English and in HTML. @@ -57,9 +73,10 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc-ja.html,v 1.1
その他
- Manual of math2ox in English and dvi. -
- ox_math (日本語, dvi) +
- ox_math (日本語, dvi). +
- その他 (OpenXM document project 以外のものなど).
- \ No newline at end of file +