--- a/src/Pure/ProofGeneral/pgml.ML Fri Jul 06 17:21:18 2007 +0200
+++ b/src/Pure/ProofGeneral/pgml.ML Fri Jul 06 17:52:52 2007 +0200
@@ -101,8 +101,10 @@
| pgmlaction_to_string Button = "button"
| pgmlaction_to_string Menu = "menu"
- fun atom_to_xml (Sym {name,content}) = XML.Elem("sym",attr name name,[XML.Text content])
- | atom_to_xml (Str str) = XML.Text str
+ (* NOTE: we assume strings are already XML escaped here, for convenience in Isabelle;
+ would be better not to *)
+ fun atom_to_xml (Sym {name,content}) = XML.Elem("sym",attr name name,[XML.Rawtext content])
+ | atom_to_xml (Str str) = XML.Rawtext str
fun pgmlterm_to_xml (Atoms {kind, content}) =
XML.Elem("atom",opt_attr "kind" kind, map atom_to_xml content)