![]() ![]() | ![]() |
File: [local] / OpenXM / src / kan96xx / Doc / callsm1b.sm1 (download)
Revision 1.4, Wed Dec 15 09:17:15 1999 UTC (24 years, 8 months ago) by takayama
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. |
%$OpenXM: OpenXM/src/kan96xx/Doc/callsm1b.sm1,v 1.4 1999/12/15 09:17:15 takayama Exp $ %%%% Initialization callsm1b.sm1 [(parse) (cohom.sm1) pushfile] extension [(parse) (oxasir.sm1) pushfile] extension [(parse) (xml.sm1) pushfile] extension [(parse) (intw.sm1) pushfile] extension debugMode %% pushVariable and popVariables are overloaded. whoami