===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/design-outline.tex,v
retrieving revision 1.10
retrieving revision 1.12
diff -u -p -r1.10 -r1.12
--- OpenXM/doc/issac2000/design-outline.tex	2000/01/16 02:31:49	1.10
+++ OpenXM/doc/issac2000/design-outline.tex	2000/01/16 10:55:40	1.12
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.9 2000/01/15 12:18:42 takayama Exp $
+% $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.11 2000/01/16 06:02:41 takayama Exp $
 
 \section{Design Outline} 
 
@@ -112,7 +112,7 @@ it should follow a grammar that can be parsed with oth
 it may accept and execute not only stack machine commands, 
 but also its original command sequences.
 For example,
-if we send the following string to {\tt ox\_asir} server 
+if we send the following string to the {\tt ox\_asir} server 
 (OpenXM server based on Risa/Asir) \\
 \verb+        " fctr(x^100-y^100); "      + \\
 and call the stanck machine command  \\
@@ -132,7 +132,7 @@ the Asir client to the {\tt ox\_sm1} server:
 \end{verbatim}
 Here, {\tt ox\_sm1} is an OpenXM server based on Kan/sm1.
 
-The current OpenXM package is implemented on the  OpenXM for TCP/IP, 
+The OpenXM package is implemented on the  OpenXM for TCP/IP, 
 which uses the client-server model.
 The OpenXM on MPI \cite{MPI} is currently running on Risa/Asir
 as we will see in Section \ref{section:homog}.