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