[BACK]Return to index-doc.html CVS log [TXT][DIR] Up to [local] / OpenXM / doc / OpenXM-web

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

version 1.12, 2005/04/15 00:50:54 version 1.14, 2005/11/18 12:20:58
Line 1 
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.13 2005/07/01 09:39:11 takayama Exp $
 -->  -->
 <html>  <html>
 <body>  <body>
Line 30  $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.11 2
Line 30  $OpenXM: OpenXM/doc/OpenXM-web/index-doc.html,v 1.11 2
 <li> <A HREF="asir-contrib/en/cman-en.ps">  in English and PS. </A>  <li> <A HREF="asir-contrib/en/cman-en.ps">  in English and PS. </A>
 <li> <A HREF="asir-contrib/ja/cman-ja.dvi"> in Japanese and dvi. </A>  <li> <A HREF="asir-contrib/ja/cman-ja.dvi"> in Japanese and dvi. </A>
 <li> <A HREF="asir-contrib/ja/cman-jp.ps">  in Japanese and PS. </A>  <li> <A HREF="asir-contrib/ja/cman-jp.ps">  in Japanese and PS. </A>
   </ul>
   
   <li>
   <a href="asir-contrib/index-doc-asir-contrib2-en.html">
   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>  </ul>
   
 <LI> Inside Asir.  <LI> Inside Asir.

Legend:
Removed from v.1.12  
changed lines
  Added in v.1.14

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