OpenXM/src/kan96xx/Doc/callsm1b.sm1 - view

Return to callsm1b.sm1 CVS log

Up to [local] / OpenXM / src / kan96xx / Doc

File: [local] / OpenXM / src / kan96xx / Doc / callsm1b.sm1 (download)

Revision 1.4, Wed Dec 15 09:17:15 1999 UTC (24 years, 6 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

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