===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/design-outline.tex,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -p -r1.12 -r1.13
--- OpenXM/doc/issac2000/design-outline.tex	2000/01/16 10:55:40	1.12
+++ OpenXM/doc/issac2000/design-outline.tex	2000/01/17 08:06:15	1.13
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.11 2000/01/16 06:02:41 takayama Exp $
+% $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.12 2000/01/16 10:55:40 takayama Exp $
 
 \section{Design Outline} 
 
@@ -66,7 +66,7 @@ two systems.
 We thought that it is necessary to provide a data and control protocol
 for Risa/Asir to work as a server of factorization and primary ideal
 decomposition.
-\item We have been profitted from increasing number 
+\item We have been profited from increasing number 
 of mathematical softwares.
 These are usually ``expert'' systems in one area of mathematics
 such as ideals, groups, numbers, polytopes, and so on.
@@ -115,7 +115,7 @@ For example,
 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  \\
+and call the stack machine command  \\
 \verb+        SM_executeStringByLocalParser    + \\ 
 then the server executes the asir command \\
 \verb+ fctr(x^100-y^100); +