1.1 --- a/src/Tools/isac/xmlsrc/interface-xml.sml	Tue Aug 18 17:39:47 2015 +0200
     1.2 +++ b/src/Tools/isac/xmlsrc/interface-xml.sml	Thu Aug 20 16:18:36 2015 +0200
     1.3 @@ -455,9 +455,9 @@
     1.4  	     "</CONTEXTTHY>\n" ^
     1.5  	     "@@@@@end@@@@@");
     1.6  fun contextthyOK2xml calcid contthy = 
     1.7 -  XML.Elem (("CONTEXTTHY", []), (
     1.8 -    XML.Elem (("CALCID", []), [XML.Text (string_of_int calcid)]) ::
     1.9 -    xml_of_contthy contthy))
    1.10 +  XML.Elem (("CONTEXTTHY", []), [
    1.11 +    XML.Elem (("CALCID", []), [XML.Text (string_of_int calcid)]),
    1.12 +    XML.Elem (("CONTEXTDATA", []), xml_of_contthy contthy)])
    1.13  
    1.14  fun findFillpatterns2xml (cI:calcID) pattIDs = 
    1.15      writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^

     2.1 --- a/src/Tools/isac/xmlsrc/mathml.sml	Tue Aug 18 17:39:47 2015 +0200
     2.2 +++ b/src/Tools/isac/xmlsrc/mathml.sml	Thu Aug 20 16:18:36 2015 +0200
     2.3 @@ -33,6 +33,7 @@
     2.4  local
     2.5  fun indent i = fold (curry op ^) (replicate i ". ") ""
     2.6  in
     2.7 +(* proper <> is translated to html; () is readable *)
     2.8  fun xmlstr i (XML.Text str) = indent i ^ str ^ "\n"
     2.9    | xmlstr i (XML.Elem ((str, []), trees)) = 
    2.10      indent i ^ "(" ^ str ^ ")" ^ "\n" ^