equal
deleted
inserted
replaced
58 let open XML.Encode |
58 let open XML.Encode |
59 in pair int (list (pair int (option int))) end |
59 in pair int (list (pair int (option int))) end |
60 |> YXML.string_of_body); |
60 |> YXML.string_of_body); |
61 |
61 |
62 val _ = List.app Future.cancel_group (Goal.reset_futures ()); |
62 val _ = List.app Future.cancel_group (Goal.reset_futures ()); |
63 val _ = Isabelle_Process.reset_tracing_limits (); |
63 val _ = Isabelle_Process.reset_tracing (); |
64 val _ = Document.start_execution state'; |
64 val _ = Document.start_execution state'; |
65 in state' end)); |
65 in state' end)); |
66 |
66 |
67 val _ = |
67 val _ = |
68 Isabelle_Process.protocol_command "Document.remove_versions" |
68 Isabelle_Process.protocol_command "Document.remove_versions" |