===================================================================
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