Return to usage.txt CVS log

Up to [local] / OpenXM / src / OpenMath

Annotation of OpenXM/src/OpenMath/usage.txt, Revision 1.1

1.1     ! tam         1: easy usage:
        !             2:
        !             3: 1, start OMproxy
        !             4:        % cd ${OpenXM_HOME}/lib/java-support
        !             5:        % java OMproxy
        !             6:
        !             7: 2, start sm1 and connect to OMproxy
        !             8:
        !             9: =====sm1=====
        !            10: sm1>macro package : dr.sm1,   9/26,1995 --- Version 9/8, 1999.
        !            11: sm1>macro package : module1.sm1, 1994 -- Nov 8, 1998
        !            12: sm1>(ox.sm1) run ;
        !            13: ox.sm1, --- open sm1 protocol module 10/1,1999  (C) N.Takayama. oxhelp for help
        !            14: sm1>[(localhost) 1300 1200] oxconnect /ox set ;
        !            15: Trying to connect port 1200, ip=100007f
        !            16: connected.
        !            17:
        !            18: Control port 1200 : Connected.
        !            19: Trying to connect port 1300, ip=100007f
        !            20: connected.
        !            21:
        !            22: Stream port 1300 : Connected.
        !            23: Byte order for control process is network byte order.
        !            24: Byte order for engine process is network byte order.
        !            25: ===== =====
        !            26:
        !            27: 3, send (CMO_ZZ,123)
        !            28:
        !            29: =====sm1=====
        !            30: sm1>ox (123).. oxsendcmo ::
        !            31: %[null]
        !            32: ===== =====
        !            33:
        !            34: 4, trancerate CMO to OpenMath XML encoding
        !            35:
        !            36: =====sm1=====
        !            37: sm1>ox (CMO2OMXML) oxexec ::
        !            38: %[null]
        !            39: sm1>ox oxpopcmo ::
        !            40: $<OMI>123</OMI>$
        !            41: ===== =====