=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-doc-ja.html,v retrieving revision 1.3 retrieving revision 1.12 diff -u -p -r1.3 -r1.12 --- OpenXM/doc/OpenXM-web/index-doc-ja.html 2005/07/01 09:39:11 1.3 +++ 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,25 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc-ja.html,v 1.2

Asir のマニュアル

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

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

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

英語, PDF @@ -48,12 +53,17 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc-ja.html,v 1.2
日本語, HTML.

Risa/Asir Journal +

Risa/Asir ジャーナル +

kan/sm1 入門

- +s

kan/sm1 マニュアル

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