--- a/src/Pure/ROOT Fri Oct 31 15:15:10 2014 +0100
+++ b/src/Pure/ROOT Fri Oct 31 16:03:45 2014 +0100
@@ -196,7 +196,6 @@
"System/invoke_scala.ML"
"System/isabelle_process.ML"
"System/isabelle_system.ML"
- "System/isar.ML"
"System/message_channel.ML"
"System/options.ML"
"System/system_channel.ML"