src/Pure/PIDE/isar_document.ML
changeset 43748 c70bd78ec83c
parent 43731 70072780e095
child 43767 e0219ef7f84c
     1.1 --- a/src/Pure/PIDE/isar_document.ML	Mon Jul 11 15:56:30 2011 +0200
     1.2 +++ b/src/Pure/PIDE/isar_document.ML	Mon Jul 11 16:48:02 2011 +0200
     1.3 @@ -33,5 +33,9 @@
     1.4        val state'' = Document.execute new_id state';
     1.5      in state'' end));
     1.6  
     1.7 +val _ =
     1.8 +  Isabelle_Process.add_command "Isar_Document.invoke_scala"
     1.9 +    (fn [id, tag, res] => Invoke_Scala.fulfill_method id tag res);
    1.10 +
    1.11  end;
    1.12