===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/stackmachine.tex,v
retrieving revision 1.4
retrieving revision 1.6
diff -u -p -r1.4 -r1.6
--- OpenXM/doc/OpenXM-specs/stackmachine.tex	2000/01/24 02:48:24	1.4
+++ OpenXM/doc/OpenXM-specs/stackmachine.tex	2000/02/02 02:03:41	1.6
@@ -236,6 +236,11 @@ The server can avoid to send OX messages unknown to it
 */
 @plugin/mathcap.h)
 
+Stack before the request:
+\begin{tabular}{|c|}  \hline
+{\it Mathcap m}  \\
+\hline
+\end{tabular}\\
 Request:
 \begin{tabular}{|c|c|}  \hline
 {\tt int32 OX\_DATA} & {\sl Mathcap} m  \\ \hline
@@ -348,7 +353,7 @@ It requests a server to pop an object from {\tt Operan
 to convert it into a character string according to the output format
 of the local system, and to send the character string via TCP/IP stream.
 {\tt (char *)NULL} is returned when the stack is empty.
-The returned strings is sent as a CMO string data.
+The returned string is sent as a CMO string data.
 {\tt CMO\_ERROR2} should be returned if an error has occurred.
 */
 
@@ -430,6 +435,38 @@ Stack after the request:
 \end{tabular}
 
 Output: none.
+
+\item
+\begin{verbatim}
+SM_pushCMOtag
+\end{verbatim}
+/*&jp
+スタックの先頭オブジェクトが CMO に変換された場合の CMO tag を
+{\tt CMO\_INT32} としてスタックへ push する.
+先頭オブジェクトはスタックに留まる.
+先頭オブジェクトをCMO へ変換する方法が無い場合は, エラー object を積む.
+*/
+/*&eg
+It requests a server to push the CMO tag of the top object on the server
+stack. The tag is pushed as {\tt CMO\_INT32}.
+The top object remains on the stack.
+If there is no way to translate the object into CMO,
+push an error object.
+*/
+
+Request:
+\begin{tabular}{|c|c|}  \hline
+{\tt int32 OX\_COMMAND} & {\tt int32 SM\_pushCMOtag} \\
+\hline 
+\end{tabular}
+
+Stack after the request:
+\begin{tabular}{|c|c|c|}  \hline
+{\tt int32 OX\_DATA} & {\sl CMO\_INT32} \ tag\\
+\hline 
+\end{tabular}
+
+Output: none.
 \end{enumerate}
 
 \medbreak
@@ -472,7 +509,7 @@ In the above example, {\tt Ox\_system} denotes the sys
 enviroment variable.
 The second component consists of avaiable SM commands.
 The third component is a list of pairs. Each pair consists
-of an OX message tag and the available message tags.
+of an OX message tag and the list of available message tags.
 Again in the above example, 514 is the value of {\tt OX\_DATA}
 and it indicates that the server accepts CMO (without size information)
 as mathematical data messages. In this case the subsequent
@@ -563,7 +600,7 @@ operand stack より, {\it n} 個の元 ({\it obj1, obj2, $
 */
 /*&eg
 It requests a server to pop {\it n} and to discard elements {\it obj1, obj2,
-$\ldots$, objn}) from the stack.
+$\ldots$, objn} from the stack.
 */
 
 //&jp Stack before the request: \\
@@ -629,7 +666,7 @@ OutputObj} をスタックへ戻す.  関数自体は正常終了なら 0
 It requests a server to pop {\it name} and to evaluate a variable
 {\it name} in the current name space. The Output of the evaluation
 {\it OutputObj} is pushed to the stack.
-If an error has occurred {\tt CMO\_ERROR2} is pushed to the stack.
+If an error has occurred {\tt CMO\_ERROR2} is pushed onto the stack.
 */
 
 //&jp Stack before the request: