=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/man.texi,v retrieving revision 1.1.1.1 retrieving revision 1.13 diff -u -p -r1.1.1.1 -r1.13 --- OpenXM/src/asir-doc/man.texi 1999/12/08 05:47:43 1.1.1.1 +++ OpenXM/src/asir-doc/man.texi 2003/04/21 09:14:50 1.13 @@ -1,20 +1,26 @@ -\input jtexinfo +% $OpenXM: OpenXM/src/asir-doc/man.texi,v 1.12 2003/04/19 15:44:55 noro Exp $ +\input texinfo @iftex @catcode`@#=6 -@def@b#1{{@bf@gt #1}} +@def@fref#1{@xrefX[#1,,@code{#1},,,]} +\JP @def@b#1{{@bf@gt #1}} +\EG @def@b#1{{@bf #1}} @catcode`@#=@other @end iftex @overfullrule=0pt @c -*-texinfo-*- @comment %**start of header @setfilename risaman +\JP @documentlanguage ja @settitle Asir @comment %**end of header @comment %@setchapternewpage odd + @ifinfo @macro fref{name} -@ref{\name\,,@code{\name\}} +\JP @ref{\name\,,@code{\name\}} +\EG @ref{\name\,,@code{\name\}} @end macro @end ifinfo @@ -26,10 +32,15 @@ @title Asir @subtitle Asir User's Manual -@subtitle Edition 4.1 for Asir-991201 -@subtitle August 19 +@subtitle Asir-20030420 (Kobe Distribution) +@subtitle April 2003 -@author by Masayuki Noro and Takeshi Shimoyama +@author by Masayuki Noro, Takeshi Shimoyama and Taku Takeshima +@page +@vskip 0pt plus 1filll +Copyright @copyright{} FUJITSU LABORATORIES LIMITED. +1994-2000. All rights reserved. +Copyright 2000-2003, Risa/Asir committers, http://www.openxm.org/. @end titlepage @synindex vr fn @@ -40,6 +51,7 @@ @menu * Introduction:: * Risa/Asir:: +\BJP * 型:: * ユーザ言語 Asir:: * デバッガ:: @@ -50,6 +62,19 @@ * 有限体に関する演算:: * 付録:: * 索引:: +\E +\BEG +* Data types:: +* User language Asir:: +* Debugger:: +* Built-in Function:: +* Distributed computation:: +* Groebner basis computation:: +* Algebraic numbers:: +* Finite fields:: +* Appendix:: +* Index:: +\E @end menu @include parts/intro.texi @@ -64,8 +89,14 @@ @include parts/ff.texi @include parts/appendix.texi +\BJP @node 索引,,, Top @unnumbered 索引 +\E +\BEG +@node Index,,, Top +@unnumbered Index +\E @printindex fn @printindex cp @iftex