# HG changeset patch
# User wenzelm
# Date 1219877394 -7200
# Node ID 4d28b4d134f6707f575bb9f57f7ef5477c12b0a1
# Parent  7a47b1a8790ec624cec65bbddee523f4ce050fb7
fixed atom_to_xml: literal "name" attribute;

diff -r 7a47b1a8790e -r 4d28b4d134f6 src/Pure/ProofGeneral/pgml.ML
--- 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}) =