===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/bib.tex,v
retrieving revision 1.5
retrieving revision 1.7
diff -u -p -r1.5 -r1.7
--- OpenXM/doc/issac2000/bib.tex	2000/01/15 03:23:59	1.5
+++ OpenXM/doc/issac2000/bib.tex	2000/01/15 12:18:42	1.7
@@ -1,4 +1,4 @@
-%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.4 2000/01/15 02:24:18 takayama Exp $
+%$OpenXM: OpenXM/doc/issac2000/bib.tex,v 1.6 2000/01/15 03:47:58 takayama Exp $
 
 \begin{thebibliography}{X}
 \bibitem{OpenMath}
@@ -28,7 +28,7 @@ preprint, 1999.
 \bibitem{netsolve}
 NetSolve, {\tt http://www.cs.utk.edu/netsolve}
 \bibitem{asir} 
-Noro, T. et al., 
+Noro, M. et al., 
 A Computer Algebra System {\tt Risa/Asir},  1993, 1995, 2000\\
 {\tt ftp://endeavor.fujitsu.co.jp/pub/isis/asir}
 \bibitem{noro-mckay}
@@ -64,10 +64,8 @@ its implementation,
 	Takayama, N.,
 	{\em Kan: A system for computation in
 	algebraic analysis,} 1991 version 1,
-        1994 version 2, the latest version is 2.991106.
-	Source code available for Unix computers. 
-         Contact the author, or download from \\
-	{\tt \small ftp.math.kobe-u.ac.jp} via anonymous ftp.
+        1994 version 2, the latest version is 2.991106. 
+	{\tt \small ftp.math.kobe-u.ac.jp/pub/kan}
 \bibitem{phc}
 Verschelde, J.,
 PHCpack: A general-purpose solver for polynomial systems by