--- a/src/Pure/IsaMakefile	Mon Jul 11 15:56:30 2011 +0200
+++ b/src/Pure/IsaMakefile	Mon Jul 11 16:48:02 2011 +0200
@@ -189,6 +189,7 @@
   Syntax/syntax_phases.ML				\
   Syntax/syntax_trans.ML				\
   Syntax/term_position.ML				\
+  System/invoke_scala.ML				\
   System/isabelle_process.ML				\
   System/isabelle_system.ML				\
   System/isar.ML					\
changeset 43748	c70bd78ec83c
parent 43729	07d3c6afa865
child 43767	e0219ef7f84c