--- a/src/Pure/IsaMakefile Sat Nov 27 14:32:08 2010 +0100
+++ b/src/Pure/IsaMakefile Sat Nov 27 15:28:00 2010 +0100
@@ -188,6 +188,7 @@
Syntax/syntax.ML \
Syntax/type_ext.ML \
System/isabelle_process.ML \
+ System/isabelle_system.ML \
System/isar.ML \
System/session.ML \
Thy/html.ML \