1.1 --- a/src/Pure/System/isabelle_process.ML	Tue Jul 12 13:39:29 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Tue Jul 12 13:45:05 2011 +0200
     1.3 @@ -68,7 +68,7 @@
     1.4  
     1.5  fun message mbox ch raw_props body =
     1.6    let
     1.7 -    val robust_props = map (pairself YXML.escape_controls) raw_props;
     1.8 +    val robust_props = map (pairself YXML.embed_controls) raw_props;
     1.9      val header = YXML.string_of (XML.Elem ((ch, robust_props), []));
    1.10    in Mailbox.send mbox (chunk header @ chunk body) end;
    1.11