===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/openxm-clients.tex,v
retrieving revision 1.10
retrieving revision 1.12
diff -u -p -r1.10 -r1.12
--- OpenXM/doc/issac2000/openxm-clients.tex	2000/01/17 01:24:27	1.10
+++ OpenXM/doc/issac2000/openxm-clients.tex	2000/01/17 07:15:52	1.12
@@ -1,31 +1,18 @@
-% $OpenXM: OpenXM/doc/issac2000/openxm-clients.tex,v 1.9 2000/01/17 00:48:06 takayama Exp $
+% $OpenXM: OpenXM/doc/issac2000/openxm-clients.tex,v 1.11 2000/01/17 06:10:40 noro Exp $
 
 \section{OpenXM Clients}    
 
 \subsection{Risa/Asir}
 
-Risa/Asir provides a launcher to invoke an OpenXM server and to set up the
-communication between the server and itself. As a client, 
-it provides many built-in functions for communication.
-
-\subsubsection{Setting up servers}
-{\tt ox\_launch} is a general purpose launcher.  This application
-invokes a server and sets up the server-client communication
-according to the protocol stated in Section \ref{launcher}, then
-itself becomes a control server.
-Several facilities related to {{\tt ox\_launch}} are provided
-as built-in functions of Risa/Asir: a function to invoke a server
-automatically from a give host name and a server name, and a set 
-of functions to execute the port generation, {\tt bind}, {\tt listen},
-{\tt connect} and {\tt accept} operations on sockets individually.
-
-\subsubsection{Manipulating servers}
+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.
-The following functions
-are provided 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
+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,
+{\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