===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/session-management.tex,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -p -r1.11 -r1.12
--- OpenXM/doc/issac2000/session-management.tex	2000/01/17 06:10:41	1.11
+++ OpenXM/doc/issac2000/session-management.tex	2000/01/17 07:15:52	1.12
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/doc/issac2000/session-management.tex,v 1.10 2000/01/17 01:24:27 noro Exp $
+% $OpenXM: OpenXM/doc/issac2000/session-management.tex,v 1.11 2000/01/17 06:10:41 noro Exp $
 
 \section{Session Management}
 \label{secsession}
@@ -93,7 +93,7 @@ To reset an engine safely the following are required.
 \begin{enumerate}
 \item Any OX message must be a synchronized object in the sense of Java.
 
-As an {\tt OX} message is sent as a combination of several {\tt CMO}
+As an OX message is sent as a combination of several {\tt CMO}
 data, a global exit without sending all may generate broken data.
 
 \item After restarting an engine, a request from a client 
@@ -103,7 +103,7 @@ An incorrect correspondence occurs if some data remain
 after restarting an engine.
 \end{enumerate}
 
-{\tt SM\_control\_reset\_connection} is an {\tt SM} command to
+{\tt SM\_control\_reset\_connection} is a stack machine command to
 initiate a safe resetting of an engine.
 The control server sends {\tt SIGUSR1} to the engine if it receives
 {\tt SM\_control\_reset\_connection} from the client.
@@ -129,7 +129,7 @@ the engine enters the resetting state.
 The engine sends {\tt OX\_SYNC\_BALL} to the client.
 The operation does not block because
 the client is now in the resetting state.
-\item The engine skips all {\tt OX} messages from the engine until it
+\item The engine skips all OX messages from the engine until it
 receives {\tt OX\_SYNC\_BALL}. After receiving {\tt OX\_SYNC\_BALL} 
 the engine returns to the usual state.
 \end{enumerate}
@@ -158,7 +158,7 @@ We provide two methods to help debugging on X window s
 window;
 2. the engine can pop up a window to input debug commands.
 For example {\tt ox\_asir}, which is
-the OpenXM server of {\tt Risa/Asir}, can pop up a window to input
+the OpenXM server of Risa/Asir, can pop up a window to input
 debug commands and the debugging similar to that on usual terminals is possible.
 One can also send {\tt SIGINT} by using {\tt SM\_control\_to\_debug\_mode}
 and it provides a similar functionality to entering the debugging