===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/design-outline.tex,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -p -r1.11 -r1.12
--- OpenXM/doc/issac2000/design-outline.tex	2000/01/16 06:02:41	1.11
+++ 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.10 2000/01/16 02:31:49 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  \\