CVS log for OpenXM/src/kan96xx/Doc/xml.sm1

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, 6 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.

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.