===================================================================
RCS file: /home/cvs/OpenXM/doc/issac2000/openxm-stackmachines.tex,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -p -r1.5 -r1.6
--- OpenXM/doc/issac2000/openxm-stackmachines.tex	2000/01/07 10:22:41	1.5
+++ OpenXM/doc/issac2000/openxm-stackmachines.tex	2000/01/13 10:54:33	1.6
@@ -1,6 +1,6 @@
-% $OpenXM: OpenXM/doc/issac2000/openxm-stackmachines.tex,v 1.4 2000/01/07 09:56:08 ohara Exp $
+% $OpenXM: OpenXM/doc/issac2000/openxm-stackmachines.tex,v 1.5 2000/01/07 10:22:41 ohara Exp $
 
-\section{OpenXM Stack machines}   (Tamura)
+\section{OpenXM Stack machines}\label{sec:ox-stackmachines} (Tamura)
 
 In OpenXM specification, all servers are stack machines.
 These are called OpenXM stack machines.