=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/man.texi,v retrieving revision 1.1.1.1 retrieving revision 1.16 diff -u -p -r1.1.1.1 -r1.16 --- OpenXM/src/asir-doc/man.texi 1999/12/08 05:47:43 1.1.1.1 +++ OpenXM/src/asir-doc/man.texi 2003/10/22 01:15:46 1.16 @@ -1,20 +1,26 @@ -\input jtexinfo +% $OpenXM: OpenXM/src/asir-doc/man.texi,v 1.15 2003/10/19 07:21:57 takayama 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,16 @@ @title Asir @subtitle Asir User's Manual -@subtitle Edition 4.1 for Asir-991201 -@subtitle August 19 +@subtitle Asir-20030424 (Kobe Distribution) +@subtitle April 2003 -@author by Masayuki Noro and Takeshi Shimoyama +@author by Masayuki Noro, Takeshi Shimoyama, Taku Takeshima +@author and Risa/Asir committers +@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 +52,7 @@ @menu * Introduction:: * Risa/Asir:: +\BJP * 型:: * ユーザ言語 Asir:: * デバッガ:: @@ -50,6 +63,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 +90,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