===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/heterotic-network.tex,v
retrieving revision 1.11
retrieving revision 1.13
diff -u -p -r1.11 -r1.13
--- OpenXM/doc/issac2000/heterotic-network.tex	2000/01/17 07:06:53	1.11
+++ OpenXM/doc/issac2000/heterotic-network.tex	2000/01/17 08:50:56	1.13
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/doc/issac2000/heterotic-network.tex,v 1.10 2000/01/16 10:58:19 takayama Exp $
+% $OpenXM: OpenXM/doc/issac2000/heterotic-network.tex,v 1.12 2000/01/17 08:06:15 noro Exp $
 \section{Applications}
 
 \subsection{Heterogeneous Servers}
@@ -7,7 +7,7 @@
 
 By using OpenXM, we can treat OpenXM servers essentially 
 like a subroutine.
-Since OpenXM provides a universal stackmachine which does not
+Since OpenXM provides a universal stack machine which does not
 depend each servers, 
 it is relatively easy to install new servers.
 We can build a new computer math system by assembling
@@ -82,7 +82,7 @@ on the Gr\"obner basis method and the polyhedral homot
 to solve systems of algebraic equations.
 We taught the course
 with a unified environment
-controlled by Asir user language, which is similar to C.
+controlled by the Asir user language, which is similar to C.
 The following is an Asir session to solve algebraic equations by calling
 the PHC pack (Figure \ref{katsura} is the output of {\tt [292]}):
 \begin{verbatim}