===================================================================
RCS file: /home/cvs/OpenXM/doc/ascm2001p/session-management.tex,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/doc/ascm2001p/session-management.tex	2001/06/20 05:42:48	1.2
+++ OpenXM/doc/ascm2001p/session-management.tex	2001/06/21 03:09:46	1.3
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/doc/ascm2001p/session-management.tex,v 1.1 2001/06/19 07:32:59 noro Exp $
+% $OpenXM: OpenXM/doc/ascm2001p/session-management.tex,v 1.2 2001/06/20 05:42:48 takayama Exp $
 
 \section{Session Management}
 \label{secsession}
@@ -63,7 +63,7 @@ It uses ``ssh'' to launch a control server and 
 the control server can launch one or more than one
 engines.
 
-\subsection{Control server}
+\subsection{Resetting an engine}
 \label{control}
 %In OpenXM we adopted the following simple and robust method to 
 %control servers.