src/Pure/PIDE/protocol.scala

--- a/src/Pure/PIDE/protocol.scala	Wed May 22 08:46:39 2013 +0200
+++ b/src/Pure/PIDE/protocol.scala	Wed May 22 14:10:45 2013 +0200
@@ -364,12 +364,4 @@
   {
     input("Document.dialog_result", Properties.Value.Long(serial), result)
   }
-
-
-  /* method invocation service */
-
-  def invoke_scala(id: String, tag: Invoke_Scala.Tag.Value, res: String)
-  {
-    input("Document.invoke_scala", id, tag.toString, res)
-  }
 }