=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/parts/intro.texi,v retrieving revision 1.6 retrieving revision 1.7 diff -u -p -r1.6 -r1.7 --- OpenXM/src/asir-doc/parts/intro.texi 2003/04/20 08:01:26 1.6 +++ 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.5 2000/08/23 04:29:12 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,18 +221,14 @@ by @b{Q}, the real number field by @b{R}, and the comp @noindent \BJP -Risa/Asir (@samp{asir2000.tgz}), @b{PARI} のソースコード -(@samp{pari.tgz}) および Windows 用バイナリ -(@samp{asirwin-ja.tgz}, @samp{asirwin-en.tgz}) -は以下から ftp で入手できる. +Risa/Asir +は以下から http で入手できる. \E \BEG -The source code of Risa/Asir (@samp{asir2000.tgz}), @b{PARI} -(@samp{pari.tgz}) and Windows binary -(@samp{asirwin-ja.tgz}, @samp{asirwin-en.tgz}) -are available via ftp from +Risa/Asir +is available via http from \E @example -ftp://ftp.math.kobe-u.ac.jp/pub/asir +http://www.math.kobe-u.ac.jp/Asir @end example