=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-doc-ja.html,v retrieving revision 1.1 retrieving revision 1.17 diff -u -p -r1.1 -r1.17 --- OpenXM/doc/OpenXM-web/index-doc-ja.html 2005/04/14 11:18:04 1.1 +++ OpenXM/doc/OpenXM-web/index-doc-ja.html 2017/03/30 13:32:30 1.17 @@ -1,7 +1,8 @@ + [ in English ]
@@ -9,44 +10,65 @@ $OpenXM$ ダウンロード , 仕様 , License , -cvsweb, +cvsweb, +検索 + 表紙 ,

Asir のマニュアル
- in English and HTML. -
- 日本語, HTML. -
- in English and dvi. -
- 日本語, dvi. +
- in English and HTML + ( table of contents ). +
- 日本語, HTML + ( 目次 ). +
- in English, PDF . +
- 日本語, PDF.
OpenXM/Risa/Asir-contrib のマニュアル
- in English and HTML. -
- 日本語, HTML. -
- in English and dvi. -
- in English and PS. -
- 日本語, dvi. -
- 日本語, PS. +
- in English and HTML + +
- 日本語, HTML + +
- in English, PDF. +
- 日本語, PDF. +
- Asir-contrib の文書フォルダ
+
+ +OpenXM/Risa/Asir-contrib のマニュアル(texinfo でないもの), 入門等. + + +
Asir の2次量詞消去機能について +
- 英語, PDF +
- 英語, PS +
+
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. @@ -56,9 +78,10 @@ $OpenXM$
- その他
  - Manual of math2ox in English and dvi. -
  - ox_math (日本語, dvi) +
  - ox_math (日本語, dvi). +
  - その他 (OpenXM document project 以外のものなど).

- \ No newline at end of file +