===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/intro.texi,v
retrieving revision 1.2
retrieving revision 1.4
diff -u -p -r1.2 -r1.4
--- OpenXM/src/asir-doc/parts/intro.texi	1999/12/21 02:47:31	1.2
+++ OpenXM/src/asir-doc/parts/intro.texi	2000/01/26 01:37:32	1.4
@@ -1,4 +1,4 @@
-@comment $OpenXM$
+@comment $OpenXM: OpenXM/src/asir-doc/parts/intro.texi,v 1.3 2000/01/20 01:44:33 noro Exp $
 @node Introduction,,, Top
 
 @chapter Introduction
@@ -26,103 +26,92 @@
 
 @enumerate
 \BJP
-@item @b{Introduction}
-
+@item @b{Introduction} @*
 マニュアルの構成, notation および入手方法
 
-@item @b{Risa/Asir}
-
+@item @b{Risa/Asir} @*
 @b{Asir} の概要, インストレーション
 
-@item @b{型}
-
+@item @b{型} @*
 @b{Asir} における型
 
-@item @b{ユーザ言語 Asir}
-
+@item @b{ユーザ言語 Asir} @*
 @b{Asir} のユーザ言語の解説
 
-@item @b{デバッガ}
-
+@item @b{デバッガ} @*
 ユーザ言語のデバッガの解説
 
-@item @b{組み込み函数}
-
+@item @b{組み込み函数} @*
 さまざまな組み込み函数の詳細
 
-@item @b{分散計算}
-
+@item @b{分散計算} @*
 分散計算機能に関する解説, 関数の詳細
 
-@item @b{グレブナ基底の計算}
-
+@item @b{グレブナ基底の計算} @*
 グレブナ基底に関する函数, 演算の解説
 
-@item @b{代数的数に関する演算}
-
+@item @b{代数的数に関する演算} @*
 代数的数に関する函数, 演算の解説
 
-@item @b{有限体に関する演算}
-
+@item @b{有限体に関する演算} @*
 有限体に関する関数, 演算の解説
 
-@item @b{付録}
-
+@item @b{付録} @*
 文法の詳細, サンプルファイルの紹介, 
 入力インタフェース, 変更点, 文献
 \E
 \BEG
 @item 
 @b{Introduction}
-      
+@*      
 Organization of the Manual, notation and how to get Risa/Asir
       
 @item
 @b{Risa/Asir}
-      
+@*    
 Summary of @b{Asir}, Installation
       
 @item
 @b{Types}
-      
+@*     
 Types in @b{Asir}
       
 @item
 @b{Asir user language}
-      
+@*      
 Description of @b{Asir} user language
       
 @item
 @b{Debugger}
-      
+@*      
 Description of the debugger of @b{Asir} user language
       
 @item
 @b{Built-in function}
-      
+@*      
 Detailed description of various built-in functions
       
 @item @b{Distributed computation}
-
+@*
 Description of functions for distributed computation
 
 @item
 @b{Groebner bases}
-      
+@*      
 Description of functions and operations for Groebner basis computation
       
 @item
 @b{Algebraic numbers}
-      
+@*      
 Description of functions and operations for algebraic numbers
       
 @item @b{Finite fields}
-
+@*
 Description of functions and operations on finite fields
 
 @item
 @b{Appendix}
-
+@*
 Syntax in detail, description of 
 sample files, interfaces for input from keyboard, changes, references 
 \E
@@ -139,7 +128,7 @@ sample files, interfaces for input from keyboard, chan
 @item
 \JP 函数名は, タイプライタ体で表される. 
 \EG The name of a function is written in a @code{typewriter} type
-
+@*
 @code{gcd()}, @code{gr()}
 
 @item
@@ -154,7 +143,7 @@ For the description of a function, its argument is wri
 @item
 \JP ファイル名は, シングルクォートつきのタイプライタ体で表される. 
 \EG A file name is written in a @samp{typewriter type with single quotes}
-
+@*
 @samp{dbxinit}, @samp{asir_plot}
 
 @item
@@ -170,7 +159,7 @@ For the description of a function, its argument is wri
 @item
 \JP 文献の参照は, @code{[]} つきのタイプライタ体で表される. 
 \EG References are made by a @code{typewriter type bracketed by []}.
-
+@*
 @code{[Boehm,Weiser]}
 
 @item
@@ -184,7 +173,7 @@ bracketed by @code{[]}'s.
 The repeatable items (including non-existence of the item)
 are bracketed by @code{[]*}'s.
 \E
-
+@*
 @code{setprec([@var{n}])}, @code{diff(@var{rat}[,@var{varn}]*)}
 
 @item
@@ -233,27 +222,25 @@ by @b{Q}, the real number field by @b{R}, and the comp
 @noindent
 \BJP
 さまざまなプラットフォーム用のバイナリおよびマニュアルなどのドキュメント, 
-サンプルファイル, utility なとが ftp で入手できる. 1999 年 3 月現在, 
-旧版 (Asir-950831) が
+サンプルファイル, utility なとが以下より ftp で入手できる.
 \E
 \BEG
 Binaries for various platforms, documents, sample files, utilities are
-available via ftp. The older versions are available from
+available via ftp from
 \E
 
 @example
-ftp://endeavor.fujitsu.co.jp/pub/isis/asir
+ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/
 @end example
 
 @noindent
 \BJP
-から入手できるが, 新版は愛媛大学の ftp server に置かれる予定である. 
+から入手できる.
 トップディレクトリの下に各プラットフォームの名前のサ
-ブディレクトリ (@samp{windows}, @samp{linux} etc.) と, 
+ブディレクトリ (@samp{windows}, @samp{linux-libc6} etc.) と, 
 PostScript 形式のマニュアルがある. 
 \E
 \BEG
-The current version will be available from an ftp server at Ehime university.
 There are sub-directories whose names denote the name of platforms
 (@samp{windows}, @samp{linux-libc6} etc.) and a PostScript formatted manual.
 \E
@@ -262,7 +249,7 @@ There are sub-directories whose names denote the name 
 \JP バイナリに組み込まれている @b{PARI} のソースは
 
 @example
-ftp://megrez.ceremab.u-bordeaux.fr/pub/pari/unix/pari-2.0.17.alpha.tar.gz
+ftp://megrez.ceremab.u-bordeaux.fr/pub/pari/unix/pari-2.0.17.beta.tar.gz
 @end example
 
 @noindent