src/Pure/PIDE/isar_document.ML
changeset 44610 49657380fba6
parent 44481 bb42bc831570
child 44612 990ac978854c
     1.1 --- a/src/Pure/PIDE/isar_document.ML	Wed Aug 31 17:36:10 2011 +0200
     1.2 +++ b/src/Pure/PIDE/isar_document.ML	Wed Aug 31 19:52:13 2011 +0200
     1.3 @@ -48,17 +48,17 @@
     1.4              end;
     1.5  
     1.6          val running = Document.cancel_execution state;
     1.7 -        val (assignment, state') = Document.update old_id new_id edits state;
     1.8 +        val (assignment, state1) = Document.update old_id new_id edits state;
     1.9          val _ = Future.join_tasks running;
    1.10 -        val _ = Document.join_commands state';
    1.11 +        val state2 = Document.join_commands state1;
    1.12          val _ =
    1.13            Output.status (Markup.markup (Markup.assign new_id)
    1.14              (assignment |>
    1.15                let open XML.Encode
    1.16                in pair (list (pair int (option int))) (list (pair string (option int))) end
    1.17                |> YXML.string_of_body));
    1.18 -        val state'' = Document.execute new_id state';
    1.19 -      in state'' end));
    1.20 +        val state3 = Document.execute new_id state2;
    1.21 +      in state3 end));
    1.22  
    1.23  val _ =
    1.24    Isabelle_Process.add_command "Isar_Document.invoke_scala"