src/Pure/ROOT

--- a/src/Pure/ROOT	Wed Jul 10 22:56:48 2013 +0200
+++ b/src/Pure/ROOT	Wed Jul 10 23:25:28 2013 +0200
@@ -181,6 +181,7 @@
     "System/isabelle_process.ML"
     "System/isabelle_system.ML"
     "System/isar.ML"
+    "System/message_channel.ML"
     "System/options.ML"
     "System/session.ML"
     "System/system_channel.ML"