Up to [local] / OpenXM / src / kan96xx / Doc
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: RELEASE_1_1_2
Revision 1.4 / (download) - annotate - [select for diffs], Wed Dec 15 09:17:15 1999 UTC (24 years, 8 months ago) by takayama
Branch: MAIN
CVS Tags: maekawa-ipv6,
RELEASE_20000124,
RELEASE_1_1_3,
RELEASE_1_1_2
Changes since 1.3: +2 -1
lines
Diff to previous 1.3 (colored)
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.