src/Pure/ROOT.ML
changeset 43748 c70bd78ec83c
parent 43746 a41f618c641d
child 43767 e0219ef7f84c
     1.1 --- a/src/Pure/ROOT.ML	Mon Jul 11 15:56:30 2011 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Mon Jul 11 16:48:02 2011 +0200
     1.3 @@ -274,6 +274,7 @@
     1.4  
     1.5  use "System/session.ML";
     1.6  use "System/isabelle_process.ML";
     1.7 +use "System/invoke_scala.ML";
     1.8  use "PIDE/isar_document.ML";
     1.9  use "System/isar.ML";
    1.10