--- a/src/Pure/ROOT.ML Mon Jul 11 15:56:30 2011 +0200
+++ b/src/Pure/ROOT.ML Mon Jul 11 16:48:02 2011 +0200
@@ -274,6 +274,7 @@
use "System/session.ML";
use "System/isabelle_process.ML";
+use "System/invoke_scala.ML";
use "PIDE/isar_document.ML";
use "System/isar.ML";