1.1 --- a/src/Tools/isac/xmlsrc/mathml.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/src/Tools/isac/xmlsrc/mathml.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4  
     1.5  
     1.6  fun strs2xml strs = foldl (op ^) ("", strs); 
     1.7 -(* tracing (strs2xml ["<XXX> xxx </XXX>\n","<YYY> yyy </YYY>\n"]);
     1.8 +(* writeln (strs2xml ["<XXX> xxx </XXX>\n","<YYY> yyy </YYY>\n"]);
     1.9  <XXX> xxx </XXX>
    1.10  <YYY> yyy </YYY>*)
    1.11  
    1.12 @@ -41,7 +41,7 @@
    1.13      indt (j+2*i) ^ "<ISA> " ^ (decode o term2str) t ^ " </ISA>\n" ^
    1.14      indt (j+i) ^ "</MATHML>";
    1.15  (*val t = str2term "equality e_";
    1.16 -  tracing (term2xml 8 t);
    1.17 +  writeln (term2xml 8 t);
    1.18            <MATHML>
    1.19              <ISA> equality e_ </ISA>
    1.20            <MATHML> *)
    1.21 @@ -49,7 +49,7 @@
    1.22  (*version for TextIO*)                                                         
    1.23  fun terms2xml j [] = ""
    1.24    | terms2xml j (t::ts) = term2xml j t ^ terms2xml j ts;
    1.25 -(*version for tracing: extra \n*)
    1.26 +(*version for writeln: extra \n*)
    1.27  fun terms2xml' j [] = ""
    1.28    | terms2xml' j [t] = term2xml j t
    1.29    | terms2xml' j (t::ts) = term2xml j t ^"\n"^ terms2xml' j ts;
    1.30 @@ -62,11 +62,11 @@
    1.31  (*version for TextIO*)                                                         
    1.32  fun cterms2xml j [] = ""
    1.33    | cterms2xml j (t::ts) = cterm2xml j t ^ cterms2xml j ts;
    1.34 -(*version for tracing: extra \n*)
    1.35 +(*version for writeln: extra \n*)
    1.36  fun cterms2xml' j [] = ""
    1.37    | cterms2xml' j (t::ts) = cterm2xml j t ^"\n"^ cterms2xml j ts;
    1.38  
    1.39 -(* tracing(cterms2xml 5 ["cterm1", "cterm2"]);
    1.40 +(* writeln(cterms2xml 5 ["cterm1", "cterm2"]);
    1.41         <MATHML>
    1.42           <ISA> cterm1 </ISA>
    1.43         </MATHML>