XML.string_of;
authorwenzelm
Thu Apr 03 18:42:42 2008 +0200 (2008-04-03)
changeset 26544af4c77a21c06
parent 26543 cd01c8eb314a
child 26545 6e1aef001b3b
XML.string_of;
src/Pure/Tools/xml_syntax.ML
     1.1 --- a/src/Pure/Tools/xml_syntax.ML	Thu Apr 03 18:42:41 2008 +0200
     1.2 +++ b/src/Pure/Tools/xml_syntax.ML	Thu Apr 03 18:42:42 2008 +0200
     1.3 @@ -85,7 +85,7 @@
     1.4  fun write_to_file path elname x =
     1.5    File.write path
     1.6      ("<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n" ^
     1.7 -     XML.string_of_tree (XML.Elem (elname,
     1.8 +     XML.string_of (XML.Elem (elname,
     1.9         [("xmlns:xsi", "http://www.w3.org/2001/XMLSchema-instance"),
    1.10          ("xsi:noNamespaceSchemaLocation", "isabelle.xsd")],
    1.11         [x])));