=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-doc-ja.html,v retrieving revision 1.2 retrieving revision 1.7 diff -u -p -r1.2 -r1.7 --- OpenXM/doc/OpenXM-web/index-doc-ja.html 2005/04/15 00:50:54 1.2 +++ OpenXM/doc/OpenXM-web/index-doc-ja.html 2009/02/15 01:51:11 1.7 @@ -1,7 +1,8 @@ <!-- -$OpenXM: OpenXM/doc/OpenXM-web/index-doc-ja.html,v 1.1 2005/04/14 11:18:04 takayama Exp $ +$OpenXM: OpenXM/doc/OpenXM-web/index-doc-ja.html,v 1.6 2008/11/27 01:33:57 takayama Exp $ --> <html> +<META http-equiv="Content-Type" content="text/html; charset=iso-2022-jp"> <body> [<a href="index-doc.html"> in English </a>] <br> @@ -24,14 +25,26 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc-ja.html,v 1.1 </ul> <LI> OpenXM/Risa/Asir-contrib のマニュアル <ul> -<li> <A HREF="asir-contrib/en/cman-html/cman-en_toc.html"> in English and HTML. </A> -<li> <A HREF="asir-contrib/ja/cman-html/cman-ja_toc.html"> 日本語, HTML. </A> +<li> <A HREF="asir-contrib/en/cman-html/cman-en.html"> in English and HTML. </A> +<li> <A HREF="asir-contrib/ja/cman-html/cman-ja.html"> 日本語, HTML. </A> <li> <A HREF="asir-contrib/en/cman-en.dvi"> in English and dvi. </A> <li> <A HREF="asir-contrib/en/cman-en.ps"> in English and PS. </A> <li> <A HREF="asir-contrib/ja/cman-ja.dvi"> 日本語, dvi. </A> <li> <A HREF="asir-contrib/ja/cman-jp.ps"> 日本語, PS. </A> +<li> <A HREF="asir-contrib/ja"> Asir-contrib の文書フォルダ </A> </ul> +<li> +<a href="asir-contrib/index-doc-asir-contrib2-ja.html"> +OpenXM/Risa/Asir-contrib のマニュアル(texinfo でないもの), 入門等. +</a> + +<LI> Asir の2次量詞消去機能について +<ul> +<li> <A HREF="../../Stable/numtr.pdf"> 英語, PDF </A> +<li> <A HREF="../../Stable/numtr.eps"> 英語, PS </A> +</ul> + <LI> Asir の内部構造について <ul> <li> <A HREF="asir2000/html-internal-ja/internal_toc.html"> 日本語, HTML </A> @@ -40,6 +53,11 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc-ja.html,v 1.1 <LI> Asir の実験的な関数 <ul> <li> <A HREF="asir2000/html-exp-ja/exp-ja_toc.html"> 日本語, HTML. </A> +</ul> + +<LI> Risa/Asir Journal +<ul> +<li> <A HREF="http://www.math.kobe-u.ac.jp/raj"> Risa/Asir ジャーナル </A> </ul> <LI> kan/sm1 入門