===================================================================
RCS file: /home/cvs/OpenXM/doc/calc2000p/client.tex,v
retrieving revision 1.2
retrieving revision 1.4
diff -u -p -r1.2 -r1.4
--- OpenXM/doc/calc2000p/client.tex	2000/07/21 01:34:53	1.2
+++ 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.1 2000/07/20 07:05:28 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,9 +17,9 @@ 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
 
@@ -34,6 +34,7 @@ Our servers are ox\_asir, ox\_sm1, ox\_phc, ox\_tigers
 omProxy, ox\_math. Work on progress for many new servers.
 
 \medbreak
+\vfill
 \noindent
 \rightline{\footnotesize {\color{red} {\tt http://www.openxm.org} }}