===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/intro.texi,v
retrieving revision 1.4
retrieving revision 1.7
diff -u -p -r1.4 -r1.7
--- OpenXM/src/asir-doc/parts/intro.texi	2000/01/26 01:37:32	1.4
+++ OpenXM/src/asir-doc/parts/intro.texi	2014/12/14 00:53:08	1.7
@@ -1,4 +1,4 @@
-@comment $OpenXM: OpenXM/src/asir-doc/parts/intro.texi,v 1.3 2000/01/20 01:44:33 noro Exp $
+@comment $OpenXM: OpenXM/src/asir-doc/parts/intro.texi,v 1.6 2003/04/20 08:01:26 noro Exp $
 @node Introduction,,, Top
 
 @chapter Introduction
@@ -221,37 +221,14 @@ by @b{Q}, the real number field by @b{R}, and the comp
 
 @noindent
 \BJP
-さまざまなプラットフォーム用のバイナリおよびマニュアルなどのドキュメント, 
-サンプルファイル, utility なとが以下より ftp で入手できる.
+Risa/Asir 
+は以下から http で入手できる. 
 \E
 \BEG
-Binaries for various platforms, documents, sample files, utilities are
-available via ftp from
+Risa/Asir 
+is available via http from
 \E
 
 @example
-ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/
+http://www.math.kobe-u.ac.jp/Asir
 @end example
-
-@noindent
-\BJP
-から入手できる.
-トップディレクトリの下に各プラットフォームの名前のサ
-ブディレクトリ (@samp{windows}, @samp{linux-libc6} etc.) と, 
-PostScript 形式のマニュアルがある. 
-\E
-\BEG
-There are sub-directories whose names denote the name of platforms
-(@samp{windows}, @samp{linux-libc6} etc.) and a PostScript formatted manual.
-\E
-
-@noindent
-\JP バイナリに組み込まれている @b{PARI} のソースは
-
-@example
-ftp://megrez.ceremab.u-bordeaux.fr/pub/pari/unix/pari-2.0.17.beta.tar.gz
-@end example
-
-@noindent
-\JP である. 
-\EG is linked in the binaries.