--- a/src/Pure/PIDE/protocol.ML Tue Apr 10 23:05:24 2012 +0200
+++ b/src/Pure/PIDE/protocol.ML Wed Apr 11 11:44:21 2012 +0200
@@ -50,15 +50,16 @@
fn (a, []) => Document.Perspective (map int_atom a)]))
end;
- val (assignment, state1) = Document.update old_id new_id edits state;
+ val (assignment, state') = Document.update old_id new_id edits state;
val _ =
Output.protocol_message Isabelle_Markup.assign_execs
((new_id, assignment) |>
let open XML.Encode
in pair int (list (pair int (option int))) end
|> YXML.string_of_body);
- val state2 = Document.execute new_id state1;
- in state2 end));
+
+ val _ = Document.start_execution state';
+ in state' end));
val _ =
Isabelle_Process.protocol_command "Document.remove_versions"