--- a/src/Pure/System/isabelle_process.ML Tue Aug 10 18:24:16 2010 +0200
+++ b/src/Pure/System/isabelle_process.ML Tue Aug 10 20:13:52 2010 +0200
@@ -34,7 +34,7 @@
fun message _ _ _ "" = ()
| message out_stream ch props body =
let
- val header = YXML.string_of (XML.Elem ((ch, map (pairself YXML.binary_text) props), []));
+ val header = YXML.string_of (XML.Elem ((ch, map (pairself YXML.escape_controls) props), []));
val msg = Symbol.STX ^ chunk header ^ chunk body;
in TextIO.output (out_stream, msg) (*atomic output*) end;