src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Tue Aug 08 12:21:29 2017 +0200
+++ b/src/Pure/PIDE/protocol.ML	Tue Aug 08 22:13:05 2017 +0200
@@ -58,6 +58,10 @@
       end);
 
 val _ =
+  Isabelle_Process.protocol_command "Document.consolidate_execution"
+    (fn [] => Document.consolidate_execution (Document.state ()));
+
+val _ =
   Isabelle_Process.protocol_command "Document.discontinue_execution"
     (fn [] => Execution.discontinue ());