===================================================================
RCS file: /home/cvs/OpenXM/doc/calc2000/design-outline.tex,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/doc/calc2000/design-outline.tex	2000/04/24 05:01:29	1.2
+++ OpenXM/doc/calc2000/design-outline.tex	2000/04/24 06:38:27	1.3
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/doc/calc2000/design-outline.tex,v 1.1.1.1 2000/04/24 04:20:11 noro Exp $
+% $OpenXM: OpenXM/doc/calc2000/design-outline.tex,v 1.2 2000/04/24 05:01:29 noro Exp $
 
 \section{Integration of Mathematical Software} 
 
@@ -156,24 +156,26 @@ system. It provides almost
 all functinalities of Risa/Asir such as polynomial factorization,
 Gr\"obner basis computation and primary ideal decomposition.
 \item{\tt ox\_sm1}
-A server for Kan/sm1 \cite{kan}, a system for computation in algebraic
-analysis. 
-\item {\tt ox\_sm1\_phc}
+A server for Kan/sm1 \cite{kan}, a system for computation in 
+the ring of differential operators including computation of Gr\"obner bases
+and cohomology groups.
+\item {\tt ox\_phc}
 A server for PHC pack \cite{phc}, a general-purpose solver for
-polynomial systems by homotopy continuation. It is available only
-on Linux.
-\item {\tt ox\_sm1\_tigers}
+polynomial systems by homotopy continuation. 
+\item {\tt ox\_tigers}
 A server for TiGERS \cite{tigers}, a system to enumerate
 all Gr\"obner bases of affine toric ideals.
 It can be used to determine the state polytope
 of a given affine toric ideal.
-\item {\tt ox\_sm1\_gnuplot}
+\item {\tt ox\_gnuplot}
 A server for GNUPLOT, a famous plotting tool.
 \item {\tt ox\_math}
 A server for Mathematica.
 \item {\tt OMproxy}
 A server for translation between CMO and OpenMath/XML expressions.
 It is written in Java.
+This module provides Java classes OXmessage, CMO, and SM
+for the OpenXM protocol, too.
 \end{description}
 In addition to these servers, Risa/Asir, Kan/sm1 and Mathematica
 can act as clients.