--- a/src/Pure/PIDE/protocol.ML Thu Apr 05 13:01:54 2012 +0200
+++ b/src/Pure/PIDE/protocol.ML Thu Apr 05 14:14:51 2012 +0200
@@ -13,6 +13,10 @@
Document.change_state (Document.define_command (Document.parse_id id) name text));
val _ =
+ Isabelle_Process.protocol_command "Document.discontinue_execution"
+ (fn [] => Document.discontinue_execution (Document.state ()));
+
+val _ =
Isabelle_Process.protocol_command "Document.cancel_execution"
(fn [] => ignore (Document.cancel_execution (Document.state ())));