diff -r 3e62e68fb342 -r 38f1422ef473 src/Pure/PIDE/protocol.ML
--- a/src/Pure/PIDE/protocol.ML	Sun Mar 30 21:24:59 2014 +0200
+++ b/src/Pure/PIDE/protocol.ML	Mon Mar 31 10:28:08 2014 +0200
@@ -85,10 +85,10 @@
 
         val _ =
           Output.protocol_message Markup.assign_update
-            ((new_id, assign_update) |>
+            [(new_id, assign_update) |>
               let open XML.Encode
               in pair int (list (pair int (list int))) end
-              |> YXML.string_of_body);
+              |> YXML.string_of_body];
       in Document.start_execution state' end));
 
 val _ =
@@ -99,7 +99,7 @@
           YXML.parse_body versions_yxml |>
             let open XML.Decode in list int end;
         val state1 = Document.remove_versions versions state;
-        val _ = Output.protocol_message Markup.removed_versions versions_yxml;
+        val _ = Output.protocol_message Markup.removed_versions [versions_yxml];
       in state1 end));
 
 val _ =