version 1.2, 1999/11/04 18:44:34 |
version 1.4, 2000/01/13 12:48:46 |
|
|
|
|
1, start OMproxy |
1, start OMproxy |
% cd ${OpenXM_HOME}/lib/java-support |
% cd ${OpenXM_HOME}/lib/java-support |
% java OMproxy |
% java -classpath /usr/local/jdk1.1.8/lib/classes.zip:${OpenXM_HOME}/lib/java-support/OpenXM.jar:. OMproxy |
|
|
2, start sm1 and connect to OMproxy |
2, start sm1 and connect to OMproxy |
|
|
Line 33 sm1>ox (123).. oxsendcmo :: |
|
Line 33 sm1>ox (123).. oxsendcmo :: |
|
sm1>ox (CMO2OMXML) oxexec :: |
sm1>ox (CMO2OMXML) oxexec :: |
%[null] |
%[null] |
sm1>ox oxpopcmo :: |
sm1>ox oxpopcmo :: |
$<OMI>123</OMI>$ |
$<OMOBJ><OMI>123</OMI></OMOBJ>$ |
===== ===== |
===== ===== |
|
|
4, send (CMO_ZZ,5) of OpenMath XML encoding word |
4, send (CMO_ZZ,5) of OpenMath XML encoding word |