=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-doc-ja.html,v retrieving revision 1.3 retrieving revision 1.17 diff -u -p -r1.3 -r1.17 --- OpenXM/doc/OpenXM-web/index-doc-ja.html 2005/07/01 09:39:11 1.3 +++ OpenXM/doc/OpenXM-web/index-doc-ja.html 2017/03/30 13:32:30 1.17 @@ -1,7 +1,8 @@ + [ in English ]
@@ -9,7 +10,8 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc-ja.html,v 1.2 ダウンロード , 仕様 , License , -cvsweb, +cvsweb, +検索表紙 , @@ -17,21 +19,29 @@ $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 @@ -40,20 +50,25 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc-ja.html,v 1.2
Asir の内部構造について
- 日本語, HTML +
- 日本語, HTML
Asir の実験的な関数
- 日本語, HTML. +
- 日本語, HTML.
+
Risa/Asir Journal +
- Risa/Asir ジャーナル +
+
kan/sm1 入門
- in English and in HTML.
- in English and PS.
- +s
kan/sm1 マニュアル
- in English and in HTML. @@ -63,9 +78,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 +