--- a/src/Tools/jEdit/lib/Tools/jedit Sat Apr 09 19:09:11 2016 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit Sat Apr 09 19:30:15 2016 +0200
@@ -297,7 +297,7 @@
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,ROOT.ML}"/>\n\n!;
+ print qq!<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="{*.thy,ROOT0.ML,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!;