Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed atom_to_xml: literal "name" attribute;
authorwenzelm
Thu, 28 Aug 2008 00:49:54 +0200
changeset 28039 4d28b4d134f6
parent 28038 7a47b1a8790e
child 28040 f47b4af3716a
fixed atom_to_xml: literal "name" attribute;
src/Pure/ProofGeneral/pgml.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ProofGeneral/pgml.ML	Thu Aug 28 00:33:19 2008 +0200
+++ b/src/Pure/ProofGeneral/pgml.ML	Thu Aug 28 00:49:54 2008 +0200
@@ -110,7 +110,7 @@
 
     (* NOTE: we assume strings are already XML escaped here, for convenience in Isabelle;
        would be better not to *)  (* FIXME !??? *)
-    fun atom_to_xml (Sym {name, content}) = XML.Elem ("sym", attr name name, [XML.Text content])
+    fun atom_to_xml (Sym {name, content}) = XML.Elem ("sym", attr "name" name, [XML.Text content])
       | atom_to_xml (Str content) = XML.Text content;
 
     fun pgmlterm_to_xml (Atoms {kind, content}) =
isabelle