src/Pure/PIDE/isar_document.scala

--- a/src/Pure/PIDE/isar_document.scala	Mon Jul 11 15:56:30 2011 +0200
+++ b/src/Pure/PIDE/isar_document.scala	Mon Jul 11 16:48:02 2011 +0200
@@ -154,4 +154,12 @@
       Document.ID(old_id), Document.ID(new_id),
         YXML.string_of_body(arg1), YXML.string_of_body(arg2))
   }
+
+
+  /* method invocation service */
+
+  def invoke_scala(id: String, tag: Invoke_Scala.Tag.Value, res: String)
+  {
+    input("Isar_Document.invoke_scala", id, tag.toString, res)
+  }
 }