OpenXM/doc/OpenXM-web/index-doc.html - diff

Return to index-doc.html CVS log

Up to [local] / OpenXM / doc / OpenXM-web

Diff for /OpenXM/doc/OpenXM-web/index-doc.html between version 1.12 and 1.21

version 1.12, 2005/04/15 00:50:54

version 1.21, 2014/03/28 03:02:36

Line 1

<!--

$OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.11 2005/04/14 11:18:04 takayama Exp $

$OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.20 2009/02/23 02:22:48 takayama Exp $

-->

<html>

<body>

Line 17 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.11 2

<LI> Asir manual.

<ul>

<li> <A HREF="asir2000/html-eg/man_toc.html"> in English and HTML. </A>

<li> <A HREF="asir2000/html-en/man_toc.html"> in English and HTML. </A>

<li> <A HREF="asir2000/html-jp/man_toc.html"> in Japanese and HTML. </A>

<li> <A HREF="asir2000/html-ja/man_toc.html"> in Japanese and HTML. </A>

<li> <A HREF="asir2000/man-eg.dvi"> in English and dvi. </A>

<li> <A HREF="asir2000/man-en.pdf"> in English, PDF. </A>

<li> <A HREF="asir2000/man-jp.dvi"> in Japanese and dvi. </A>

<li> <A HREF="asir2000/man-ja.pdf"> in Japanese, PDF. </A>

</ul>

<LI> OpenXM Risa/Asir-contrib manual.

<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"> in Japanese and HTML. </A>

<li> <A HREF="asir-contrib/en/cman-en.dvi"> in English and dvi. </A>

<li> <A HREF="asir-contrib/en/cman-en.pdf"> in English, PDF. </A>

<li> <A HREF="asir-contrib/en/cman-en.ps"> in English and PS. </A>

<li> <A HREF="asir-contrib/ja/cman-ja.pdf"> in Japanese, PDF. </A>

<li> <A HREF="asir-contrib/ja/cman-ja.dvi"> in Japanese and dvi. </A>

<li> <A HREF="asir-contrib/en"> The document folder of asir-contrib </A>

<li> <A HREF="asir-contrib/ja/cman-jp.ps"> in Japanese and PS. </A>

</ul>

<li>

OpenXM/Risa/Asir-contrib manuals (not in texinfo), tutorials.

</a>

<LI> Real Quadratic Quntifier Elimination in Risa/Asir.

<ul>

<li> <A HREF="../../Stable/numtr.pdf"> in English, PDF </A>

<li> <A HREF="../../Stable/numtr.eps"> in English, PS </A>

</ul>

<LI> Inside Asir.

<ul>

<li> <A HREF="asir2000/html-internal-ja/internal_toc.html"> in Japanese and HTML. </A>

Line 42 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.11 2

Line 52 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.11 2

<li> <A HREF="asir2000/html-exp-ja/exp-ja_toc.html"> in Japanese and HTML. </A>

</ul>

<LI> Risa/Asir Journal

<ul>

<li> <A HREF="http://www.math.kobe-u.ac.jp/raj"> Risa/Asir Journal </A>

</ul>

<LI> Introduction to kan/sm1.

<ul>

<li><A HREF="kan96xx/ttt/index.html"> in English and in HTML. </A>

Line 54 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.11 2

Line 69 $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.11 2

<li> <A HREF="kan96xx/onlinehelp.ps"> in English and PS. </A>

</ul>

<LI> miscellaneous.

<LI> miscellaneous and others

<ul>

<li> <A HREF="ox_math/math2ox.dvi"> Manual of math2ox in English and dvi. </A>

<li> <A HREF="ox_math/ox_math.dvi"> Manual of ox_math in Japanese and dvi. </A>

<li> <a href="other-docs/"> Other documents </a> (which are not maintained by the OpenXM document project).

</ul>

</OL>

</body>

</html>

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>