src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Thu Jan 05 10:59:18 2012 +0100
+++ b/src/Pure/PIDE/protocol.ML	Thu Jan 05 13:24:29 2012 +0100
@@ -8,16 +8,16 @@
 struct
 
 val _ =
-  Isabelle_Process.add_command "Document.define_command"
+  Isabelle_Process.protocol_command "Document.define_command"
     (fn [id, name, text] =>
       Document.change_state (Document.define_command (Document.parse_id id) name text));
 
 val _ =
-  Isabelle_Process.add_command "Document.cancel_execution"
+  Isabelle_Process.protocol_command "Document.cancel_execution"
     (fn [] => ignore (Document.cancel_execution (Document.state ())));
 
 val _ =
-  Isabelle_Process.add_command "Document.update_perspective"
+  Isabelle_Process.protocol_command "Document.update_perspective"
     (fn [old_id_string, new_id_string, name, ids_yxml] => Document.change_state (fn state =>
       let
         val old_id = Document.parse_id old_id_string;
@@ -33,7 +33,7 @@
       end));
 
 val _ =
-  Isabelle_Process.add_command "Document.update"
+  Isabelle_Process.protocol_command "Document.update"
     (fn [old_id_string, new_id_string, edits_yxml] => Document.change_state (fn state =>
       let
         val old_id = Document.parse_id old_id_string;
@@ -66,7 +66,7 @@
       in state2 end));
 
 val _ =
-  Isabelle_Process.add_command "Document.remove_versions"
+  Isabelle_Process.protocol_command "Document.remove_versions"
     (fn [versions_yxml] => Document.change_state (fn state =>
       let
         val versions =
@@ -77,7 +77,7 @@
       in state1 end));
 
 val _ =
-  Isabelle_Process.add_command "Document.invoke_scala"
+  Isabelle_Process.protocol_command "Document.invoke_scala"
     (fn [id, tag, res] => Invoke_Scala.fulfill_method id tag res);
 
 end;