===================================================================
RCS file: /home/cvs/OpenXM/doc/calc2000/design-outline.tex,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -p -r1.1.1.1 -r1.2
--- OpenXM/doc/calc2000/design-outline.tex	2000/04/24 04:20:11	1.1.1.1
+++ OpenXM/doc/calc2000/design-outline.tex	2000/04/24 05:01:29	1.2
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.13 2000/01/17 08:06:15 noro Exp $
+% $OpenXM: OpenXM/doc/calc2000/design-outline.tex,v 1.1.1.1 2000/04/24 04:20:11 noro Exp $
 
 \section{Integration of Mathematical Software} 
 
@@ -149,43 +149,32 @@ OpenXM package  is implemented on above fundamental ar
 Currently the following servers are available in the OpenXM package
 \cite{openxm-web}.
 
-\begin{itemize}
-\item {\tt ox\_asir}
-
+\begin{description}
+\item{\tt ox\_asir}
 A server for Risa/Asir, a general-purpose computer algebra
 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}
-
+\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 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}
-
 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}
-
 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.
-\end{itemize}
+\end{description}
 In addition to these servers, Risa/Asir, Kan/sm1 and Mathematica
 can act as clients. 
 For example, the following is a command sequence to ask $1+1$ from