===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/heterotic-network.tex,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -p -r1.12 -r1.13
--- OpenXM/doc/issac2000/heterotic-network.tex	2000/01/17 08:06:15	1.12
+++ 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.11 2000/01/17 07:06:53 noro Exp $
+% $OpenXM: OpenXM/doc/issac2000/heterotic-network.tex,v 1.12 2000/01/17 08:06:15 noro Exp $
 \section{Applications}
 
 \subsection{Heterogeneous Servers}
@@ -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}