src/Pure/PIDE/protocol.ML
changeset 47343 b8aeab386414
parent 46938 cda018294515
child 47346 cd3ab7625519
     1.1 --- a/src/Pure/PIDE/protocol.ML	Thu Apr 05 13:01:54 2012 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.ML	Thu Apr 05 14:14:51 2012 +0200
     1.3 @@ -13,6 +13,10 @@
     1.4        Document.change_state (Document.define_command (Document.parse_id id) name text));
     1.5  
     1.6  val _ =
     1.7 +  Isabelle_Process.protocol_command "Document.discontinue_execution"
     1.8 +    (fn [] => Document.discontinue_execution (Document.state ()));
     1.9 +
    1.10 +val _ =
    1.11    Isabelle_Process.protocol_command "Document.cancel_execution"
    1.12      (fn [] => ignore (Document.cancel_execution (Document.state ())));
    1.13