# HG changeset patch
# User wenzelm
# Date 1460055112 -7200
# Node ID d7009a515733b0b8b1104443cdbf6272976b35f4
# Parent  9ad0bac25a84688a5349875add284f8a25496b7b
clarified mode of ROOT.ML files;

diff -r 9ad0bac25a84 -r d7009a515733 src/Pure/ROOT.ML
--- 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: *)
diff -r 9ad0bac25a84 -r d7009a515733 src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Thu Apr 07 17:56:26 2016 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Thu Apr 07 20:51:52 2016 +0200
@@ -297,11 +297,11 @@
   perl -i -e 'while (<>) {
     if (m/FILE="ml.xml"/ or m/FILE_NAME_GLOB="...sml,ml."/) { }
     elsif (m/NAME="javacc"/) {
-      print qq,<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>\n\n,;
-      print qq,<MODE NAME="isabelle-ml" FILE="isabelle-ml.xml" FILE_NAME_GLOB="*.ML"/>\n\n,;
-      print qq,<MODE NAME="isabelle-news" FILE="isabelle-news.xml"/>\n\n,;
-      print qq,<MODE NAME="isabelle-options" FILE="isabelle-options.xml"/>\n\n,;
-      print qq,<MODE NAME="isabelle-root" FILE="isabelle-root.xml" FILE_NAME_GLOB="ROOT"/>\n\n,;
+      print qq!<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="{*.thy,ROOT.ML}"/>\n\n!;
+      print qq!<MODE NAME="isabelle-ml" FILE="isabelle-ml.xml" FILE_NAME_GLOB="*.ML"/>\n\n!;
+      print qq!<MODE NAME="isabelle-news" FILE="isabelle-news.xml"/>\n\n!;
+      print qq!<MODE NAME="isabelle-options" FILE="isabelle-options.xml"/>\n\n!;
+      print qq!<MODE NAME="isabelle-root" FILE="isabelle-root.xml" FILE_NAME_GLOB="ROOT"/>\n\n!;
       print;
     }
     elsif (m/NAME="sqr"/) {