Up to [local] / OpenXM / src / kan96xx / Doc
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: MAIN
Revision 1.9 / (download) - annotate - [select for diffs], Fri Dec 21 03:00:41 2001 UTC (22 years, 8 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2,
RELEASE_1_3_1_13b,
RELEASE_1_2_3_12,
RELEASE_1_2_3,
RELEASE_1_2_2_KNOPPIX_b,
RELEASE_1_2_2_KNOPPIX,
RELEASE_1_2_2,
RELEASE_1_2_1,
KNOPPIX_2006,
HEAD,
DEB_REL_1_2_3-9
Changes since 1.8: +6 -2
lines
Diff to previous 1.8 (unified)
Some changes to work on windows as a server of asirgui. oxasir-win.sm1 is still empty because ox_asir server has not yet been ready on windows.
Revision 1.8 / (download) - annotate - [select for diffs], Mon Feb 28 14:10:29 2000 UTC (24 years, 6 months ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6,
RELEASE_1_1_3,
RELEASE_1_1_2
Changes since 1.7: +12 -10
lines
Diff to previous 1.7 (unified)
CMO Tree has used Basic as the dictionary name. Basic is changed to basic to be compatible with OpenMath and longname.
Revision 1.7 / (download) - annotate - [select for diffs], Mon Feb 28 13:22:27 2000 UTC (24 years, 6 months ago) by takayama
Branch: MAIN
Changes since 1.6: +3 -1
lines
Diff to previous 1.6 (unified)
Change of xml.sm1 due to a bug fix of OMproxy.
Revision 1.6 / (download) - annotate - [select for diffs], Wed Dec 15 09:17:15 1999 UTC (24 years, 8 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_20000124
Changes since 1.5: +27 -1
lines
Diff to previous 1.5 (unified)
A new function sm1_xml_tree_to_prefix_string is added. It translates OpenMath/Tree expression in XML into a prefix form. See OpenXM/src/asir-contrib/doc/cman.texi for details.
Revision 1.5 / (download) - annotate - [select for diffs], Tue Dec 14 10:00:45 1999 UTC (24 years, 8 months ago) by takayama
Branch: MAIN
Changes since 1.4: +21 -1
lines
Diff to previous 1.4 (unified)
OMproxy-testsuits2 is added to test the translation between CMO-tree <--> OpenMath tree.
Revision 1.4 / (download) - annotate - [select for diffs], Sat Nov 20 05:17:31 1999 UTC (24 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.3: +170 -3
lines
Diff to previous 1.3 (unified)
cmoTreeToPostfix and cmoTreeToPrefix are added. These functions translate Open Math tree expressions or CMO tree expressions to postfix forms (for sm1) or prefix forms (for asir and Mathematica). For example, $<OMOBJ> <OMA> <OMS name="plus" cd="basic"/> <OMI> 2 </OMI> <OMI> 3 </OMI> </OMA> </OMOBJ>$ xml_to_cmo cmoTreeToPrefix returns $plus_Basic(2,3)$
Revision 1.3 / (download) - annotate - [select for diffs], Thu Nov 11 08:06:44 1999 UTC (24 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.2: +40 -2
lines
Diff to previous 1.2 (unified)
OMproxy-testsuits1 is a set of test suits to test src/OpenMath/OMproxy.java
Revision 1.2 / (download) - annotate - [select for diffs], Mon Nov 8 11:12:06 1999 UTC (24 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.1: +22 -1
lines
Diff to previous 1.1 (unified)
A new function cmo_to_xml to call OpenXM/src/OpenMath/OMproxy.java is added in xml.sm1. Example: (<OMOBJ><OMI>5</OMI></OMOBJ>) xml_to_cmo ===> 5
Revision 1.1 / (download) - annotate - [select for diffs], Wed Nov 3 09:24:33 1999 UTC (24 years, 10 months ago) by takayama
Branch: MAIN
sm1 can output the object in the format of OpenMath XML. The package xml.sm1 called src/OpenMath/OMproxy.java for the translation. Try sm1 (xml.sm1) run (xml) usage