--- a/src/Pure/IsaMakefile Wed Sep 21 22:18:17 2011 +0200
+++ b/src/Pure/IsaMakefile Thu Sep 22 20:33:08 2011 +0200
@@ -195,6 +195,7 @@
System/isabelle_system.ML \
System/isar.ML \
System/session.ML \
+ System/system_channel.ML \
Thy/html.ML \
Thy/latex.ML \
Thy/present.ML \