=================================================================== RCS file: /home/cvs/OpenXM/src/OpenMath/usage.txt,v retrieving revision 1.1 retrieving revision 1.4 diff -u -p -r1.1 -r1.4 --- OpenXM/src/OpenMath/usage.txt 1999/11/03 07:20:16 1.1 +++ OpenXM/src/OpenMath/usage.txt 2000/01/13 12:48:46 1.4 @@ -2,7 +2,7 @@ easy usage: 1, start OMproxy % 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 @@ -24,18 +24,26 @@ Byte order for control process is network byte order. Byte order for engine process is network byte order. ===== ===== -3, send (CMO_ZZ,123) +3, send '123' of CMO_ZZ format + & trancerate to OpenMath XML encoding =====sm1===== sm1>ox (123).. oxsendcmo :: %[null] +sm1>ox (CMO2OMXML) oxexec :: +%[null] +sm1>ox oxpopcmo :: +$123$ ===== ===== -4, trancerate CMO to OpenMath XML encoding +4, send (CMO_ZZ,5) of OpenMath XML encoding word + & trancerate to CMO format -=====sm1===== -sm1>ox (CMO2OMXML) oxexec :: +=====sm1====== +sm1>ox (5) oxsendcmo :: %[null] +sm1>ox (OMXML2CMO) oxexec :: +%[null] sm1>ox oxpopcmo :: -$123$ +5 ===== =====