src/Pure/PIDE/protocol.ML
changeset 46119 0d7172a7672c
parent 45709 87017fcbad83
child 46774 38f113b052b1
     1.1 --- a/src/Pure/PIDE/protocol.ML	Thu Jan 05 10:59:18 2012 +0100
     1.2 +++ b/src/Pure/PIDE/protocol.ML	Thu Jan 05 13:24:29 2012 +0100
     1.3 @@ -8,16 +8,16 @@
     1.4  struct
     1.5  
     1.6  val _ =
     1.7 -  Isabelle_Process.add_command "Document.define_command"
     1.8 +  Isabelle_Process.protocol_command "Document.define_command"
     1.9      (fn [id, name, text] =>
    1.10        Document.change_state (Document.define_command (Document.parse_id id) name text));
    1.11  
    1.12  val _ =
    1.13 -  Isabelle_Process.add_command "Document.cancel_execution"
    1.14 +  Isabelle_Process.protocol_command "Document.cancel_execution"
    1.15      (fn [] => ignore (Document.cancel_execution (Document.state ())));
    1.16  
    1.17  val _ =
    1.18 -  Isabelle_Process.add_command "Document.update_perspective"
    1.19 +  Isabelle_Process.protocol_command "Document.update_perspective"
    1.20      (fn [old_id_string, new_id_string, name, ids_yxml] => Document.change_state (fn state =>
    1.21        let
    1.22          val old_id = Document.parse_id old_id_string;
    1.23 @@ -33,7 +33,7 @@
    1.24        end));
    1.25  
    1.26  val _ =
    1.27 -  Isabelle_Process.add_command "Document.update"
    1.28 +  Isabelle_Process.protocol_command "Document.update"
    1.29      (fn [old_id_string, new_id_string, edits_yxml] => Document.change_state (fn state =>
    1.30        let
    1.31          val old_id = Document.parse_id old_id_string;
    1.32 @@ -66,7 +66,7 @@
    1.33        in state2 end));
    1.34  
    1.35  val _ =
    1.36 -  Isabelle_Process.add_command "Document.remove_versions"
    1.37 +  Isabelle_Process.protocol_command "Document.remove_versions"
    1.38      (fn [versions_yxml] => Document.change_state (fn state =>
    1.39        let
    1.40          val versions =
    1.41 @@ -77,7 +77,7 @@
    1.42        in state1 end));
    1.43  
    1.44  val _ =
    1.45 -  Isabelle_Process.add_command "Document.invoke_scala"
    1.46 +  Isabelle_Process.protocol_command "Document.invoke_scala"
    1.47      (fn [id, tag, res] => Invoke_Scala.fulfill_method id tag res);
    1.48  
    1.49  end;