===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/openxm-clients.tex,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -p -r1.11 -r1.12
--- OpenXM/doc/issac2000/openxm-clients.tex	2000/01/17 06:10:40	1.11
+++ OpenXM/doc/issac2000/openxm-clients.tex	2000/01/17 07:15:52	1.12
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/doc/issac2000/openxm-clients.tex,v 1.10 2000/01/17 01:24:27 noro Exp $
+% $OpenXM: OpenXM/doc/issac2000/openxm-clients.tex,v 1.11 2000/01/17 06:10:40 noro Exp $
 
 \section{OpenXM Clients}    
 
@@ -8,11 +8,11 @@ Risa/Asir provides a launcher {\tt ox\_launch}
 to invoke an OpenXM server and to set up the
 communication between the server and itself.
 Fundamental operations on OpenXM servers are 
-exchange of {\tt OX} data and sending of {\tt SM} commands.
+exchange of OX data and sending of stack machine commands.
 As a client, Asir provides the following functions
 to execute these primitive operations:
-{\tt ox\_push\_cmo()} for pushing data to a server, 
-{\tt ox\_push\_cmd()} for sending an {\tt SM} command to a server
+{\tt ox\_push\_cmo()} for pushing data,
+{\tt ox\_push\_cmd()} for sending a stack machine command
 and {\tt ox\_get()} for receiving data from a stream.
 
 Some operations including the reset operation are implemented by