src/Pure/PIDE/protocol.ML

           (YXML.parse_body toks_yxml |> let open XML.Decode in list (pair int int) end) ~~ sources;
       in
         Document.change_state
           (Document.define_command (Document_ID.parse id) name blobs blobs_index toks)
       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 ());