===================================================================
RCS file: /home/cvs/OpenXM/doc/ascm2001/heterotic-network.tex,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/doc/ascm2001/heterotic-network.tex	2001/03/07 06:54:40	1.2
+++ OpenXM/doc/ascm2001/heterotic-network.tex	2001/03/08 04:24:09	1.3
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/doc/ascm2001/heterotic-network.tex,v 1.1 2001/03/07 02:42:10 noro Exp $
+% $OpenXM: OpenXM/doc/ascm2001/heterotic-network.tex,v 1.2 2001/03/07 06:54:40 takayama Exp $
 \section{Applications}
 
 \subsection{Heterogeneous Servers}
@@ -118,7 +118,7 @@ What we need for the implementation are mainly
 and in the ring of differential operators,
 and
 (2) enumeration of all the Gr\"obner bases of toric ideals.
-{\tt Asir} and {\tt Kan/sm1} provide functions for (1) and
+Asir and kan/sm1 provide functions for (1) and
 {\tt TiGERS} provides a function for (2).
 These components communicate each other by OpenXM-RFC 100 protocol.