===================================================================
RCS file: /home/cvs/OpenXM/doc/calc2000p/client.tex,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- OpenXM/doc/calc2000p/client.tex	2000/07/22 00:31:06	1.3
+++ OpenXM/doc/calc2000p/client.tex	2000/08/03 00:46:13	1.4
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/doc/calc2000p/client.tex,v 1.2 2000/07/21 01:34:53 takayama Exp $
+% $OpenXM: OpenXM/doc/calc2000p/client.tex,v 1.3 2000/07/22 00:31:06 takayama Exp $
 \documentclass{slides}
 \usepackage{color}
 \begin{document}
@@ -17,8 +17,8 @@ Java classes to access to servers.
 {\color{red} KLIC } :
   A {\color{green} concurrent logic} programming language based
 on Guarded Horn Clauses (born in the fifth generation computer project). \\
- {\color{green} www.klic.org}, 
- {\color{red} MGTP} (Model Generation Theorem Prover, http://www.icot.or.jp).
+ {\color{green} www.klic.org}. 
+
 
 \noindent
 {\color{red} Mathematica}  : http://www.wolfram.com