src/Pure/PIDE/isar_document.ML

--- a/src/Pure/PIDE/isar_document.ML	Mon Jul 11 15:56:30 2011 +0200
+++ b/src/Pure/PIDE/isar_document.ML	Mon Jul 11 16:48:02 2011 +0200
@@ -33,5 +33,9 @@
       val state'' = Document.execute new_id state';
     in state'' end));
 
+val _ =
+  Isabelle_Process.add_command "Isar_Document.invoke_scala"
+    (fn [id, tag, res] => Invoke_Scala.fulfill_method id tag res);
+
 end;