src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Mon Jul 29 16:01:05 2013 +0200
+++ b/src/Pure/PIDE/protocol.ML	Mon Jul 29 16:52:04 2013 +0200
@@ -58,10 +58,7 @@
               let open XML.Encode
               in pair int (list (pair int (list int))) end
               |> YXML.string_of_body);
-        val _ =
-          Event_Timer.request (Time.+ (Time.now (), seconds 0.02))
-            (fn () => Document.start_execution state');
-      in state' end));
+      in Document.start_execution state' end));
 
 val _ =
   Isabelle_Process.protocol_command "Document.remove_versions"