=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-doc-ja.html,v retrieving revision 1.16 retrieving revision 1.19 diff -u -p -r1.16 -r1.19 --- OpenXM/doc/OpenXM-web/index-doc-ja.html 2017/03/30 09:30:54 1.16 +++ OpenXM/doc/OpenXM-web/index-doc-ja.html 2022/03/26 00:18:23 1.19 @@ -1,5 +1,5 @@ <!-- -$OpenXM: OpenXM/doc/OpenXM-web/index-doc-ja.html,v 1.15 2017/03/30 07:10:21 takayama Exp $ +$OpenXM: OpenXM/doc/OpenXM-web/index-doc-ja.html,v 1.18 2019/03/28 23:03:04 takayama Exp $ --> <html> <META http-equiv="Content-Type" content="text/html; charset=iso-2022-jp"> @@ -11,7 +11,8 @@ $OpenXM: OpenXM/doc/OpenXM-web/index-doc-ja.html,v 1.1 <a href="../index-spec-ja.html"> 仕様 </a>, <a href="index-license.html"> License </a>, <a href="http://c1.math.kobe-u.ac.jp/cgi-bin/cvsweb.cgi/">cvsweb</a>, -<a href="google-ja.html">検索</a> +<a href="google-ja.html">検索</a>, +<a href="../../Math"> Data archive </a>, <a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/index-ja.html"> 表紙 </a>, @@ -45,17 +46,16 @@ OpenXM/Risa/Asir-contrib のマニュアル(texinfo �$ <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> +<li> <A HREF="asir2000/html-internal-ja/internal.html"> 日本語, HTML </A> </ul> <LI> Asir の実験的な関数 <ul> -<li> <A HREF="asir2000/html-exp-ja/exp-ja_toc.html"> 日本語, HTML. </A> +<li> <A HREF="asir2000/html-exp-ja/exp-ja/exp-ja.html"> 日本語, HTML. </A> </ul> <LI> Risa/Asir Journal @@ -66,13 +66,17 @@ OpenXM/Risa/Asir-contrib のマニュアル(texinfo �$ <LI> kan/sm1 入門 <ul> <li><A HREF="kan96xx/ttt/index.html"> in English and in HTML. </A> +<!-- <li><A HREF="kan96xx/intro.ps"> in English and PS. </A> +--> </ul> s <LI> kan/sm1 マニュアル <ul> <li> <A HREF="kan96xx/onlinehelp/index.html"> in English and in HTML. </A> +<!-- <li> <A HREF="kan96xx/onlinehelp.ps"> in English and PS. </A> +--> </ul> <LI> その他