--- a/src/Pure/ROOT.ML Thu Apr 07 17:56:26 2016 +0200
+++ b/src/Pure/ROOT.ML Thu Apr 07 20:51:52 2016 +0200
@@ -329,5 +329,3 @@
ML_file_no_debug "Tools/debugger.ML";
ML_file "Tools/named_theorems.ML";
ML_file "Tools/jedit.ML";
-
-(* :mode=isabelle: *)