===================================================================
RCS file: /home/cvs/OpenXM/doc/calc2000p/client.tex,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/doc/calc2000p/client.tex	2000/07/20 07:05:28	1.1
+++ OpenXM/doc/calc2000p/client.tex	2000/07/21 01:34:53	1.2
@@ -1,4 +1,4 @@
-% $OpenXM$
+% $OpenXM: OpenXM/doc/calc2000p/client.tex,v 1.1 2000/07/20 07:05:28 takayama Exp $
 \documentclass{slides}
 \usepackage{color}
 \begin{document}
@@ -17,15 +17,25 @@ 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} (Theorem prover).
+ {\color{green} www.klic.org}, 
+ {\color{red} MGTP} (Model Generation Theorem Prover, http://www.icot.or.jp).
 
 \noindent
-{\color{red} Mathematica} 
+{\color{red} Mathematica}  : http://www.wolfram.com
 
 \noindent
 {\color{red} sm1} :
 Postscript-like top level language
 
+\bigbreak
+\noindent
+Comming soon: Ruby and Macaulay 2 clients.
+Our servers are ox\_asir, ox\_sm1, ox\_phc, ox\_tigers, ox\_gnuplot,
+omProxy, ox\_math. Work on progress for many new servers.
+
+\medbreak
+\noindent
+\rightline{\footnotesize {\color{red} {\tt http://www.openxm.org} }}
 
 
 \end{document}
\ No newline at end of file