src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Wed Jul 10 12:10:32 2013 +0200
+++ b/src/Pure/PIDE/protocol.ML	Wed Jul 10 12:33:28 2013 +0200
@@ -58,7 +58,9 @@
 
         val _ = List.app Future.cancel_group (Goal.reset_futures ());
         val _ = Isabelle_Process.reset_tracing ();
-        val _ = Document.start_execution state';
+        val _ =
+          Event_Timer.request (Time.now () + seconds 0.02)
+            (fn () => Document.start_execution state');
       in state' end));
 
 val _ =