===================================================================
RCS file: /home/cvs/OpenXM/src/kxx/Attic/issac2000.tex,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- OpenXM/src/kxx/Attic/issac2000.tex	1999/12/15 11:46:40	1.3
+++ OpenXM/src/kxx/Attic/issac2000.tex	1999/12/16 04:23:27	1.4
@@ -1,4 +1,4 @@
-%$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.2 1999/12/15 10:47:53 takayama Exp $
+%$OpenXM: OpenXM/src/kxx/issac2000.tex,v 1.3 1999/12/15 11:46:40 takayama Exp $
 %% You need acmconf.cls and flushend.sty to compile this file.
 %% They may be obtained from 
 %%  http://riksun.riken.go.jp/archives/tex-archive/macros/latex/contrib/supported/acmconf/
@@ -7,7 +7,7 @@
 \IfFileExists{graphicx.sty}{\usepackage{graphicx}}{}
 \ConferenceName{1. ISSAC 2000, St. Andrews, UK, 2000}
 \ConferenceShortName{ISSAC2000}
-\def\OpenXM{{\tt OpenXM}}
+\def\OpenXM{{\tt OpenXM\ }}
 
 \begin{document}
 \date{January 16, 2000}
@@ -69,15 +69,28 @@ they are getting a member of \OpenXM package.
 
 \section{OpenXM Clients}
 
+\section{OpenXM CVS server}
+
 \section{Applications}
 
 \begin{thebibliography}{X}
-\bibitem{asir} hogehoge.
+\bibitem{OpenMath}
+The OpenMath Esprit Consortium 
+(Caprotti, O. and Cohen, A.M. Editors),
+The OpenMath Standard. D1.3.2a (Public) \\
+{\footnotesize \tt http://www.nag.co.uk/projects/OpenMath},
+February, 1999.
 \bibitem{GKW}
 Gray, S., Kajler, N. and Wang, P. S.,
 Design and Implementation of MP, a Protocol for Efficient
   Exchange of Mathematical Expressions,
 {\sl Journal of Symbolic Computation}, 19??.
+\bibitem{gap}
+Linton, S. and Solomon, A.,
+OpenMath, IAMC and {\tt GAP},
+preprint, 1999.
+\bibitem{asir} 
+Noro, M. et al. Risa/Asir.
 \bibitem{NT} 
 Noro, M and Takayama, N., Design and Implementation
 of OpenXM, (in Japanese) 1996 -- 2000.
@@ -87,9 +100,9 @@ of OpenXM, (in Japanese) 1996 -- 2000.
 	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 
+         Contact the author, or download from \\
 	{\tt \small ftp.math.kobe-u.ac.jp} via anonymous ftp.
-        See also {\tt \small www.math.kobe-u.ac.jp/KAN/}
+        See also \\ {\tt \small www.math.kobe-u.ac.jp/KAN/}
 \bibitem{phc}
 Verschelde, J.,
 PHCpack: A general-purpose solver for polynomial systems by