src/Pure/PIDE/protocol.ML
changeset 47420 0dbe6c69eda2
parent 47404 e6e5750f1311
child 48707 ba531af91148
     1.1 --- a/src/Pure/PIDE/protocol.ML	Tue Apr 10 23:05:24 2012 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.ML	Wed Apr 11 11:44:21 2012 +0200
     1.3 @@ -50,15 +50,16 @@
     1.4                    fn (a, []) => Document.Perspective (map int_atom a)]))
     1.5              end;
     1.6  
     1.7 -        val (assignment, state1) = Document.update old_id new_id edits state;
     1.8 +        val (assignment, state') = Document.update old_id new_id edits state;
     1.9          val _ =
    1.10            Output.protocol_message Isabelle_Markup.assign_execs
    1.11              ((new_id, assignment) |>
    1.12                let open XML.Encode
    1.13                in pair int (list (pair int (option int))) end
    1.14                |> YXML.string_of_body);
    1.15 -        val state2 = Document.execute new_id state1;
    1.16 -      in state2 end));
    1.17 +
    1.18 +        val _ = Document.start_execution state';
    1.19 +      in state' end));
    1.20  
    1.21  val _ =
    1.22    Isabelle_Process.protocol_command "Document.remove_versions"