# HG changeset patch
# User wenzelm
# Date 1191757936 -7200
# Node ID 5ce94680922e0ffbcad78d9be4a7facc26bc9769
# Parent  701e0e3ee97242f32c68814789acf194a77014fa
tuned generated comment;

diff -r 701e0e3ee972 -r 5ce94680922e lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml	Sun Oct 07 13:48:06 2007 +0200
+++ b/lib/jedit/isabelle.xml	Sun Oct 07 13:52:16 2007 +0200
@@ -1,5 +1,6 @@
 <?xml version="1.0"?>
 <!DOCTYPE MODE SYSTEM "xmode.dtd">
+<!-- This file was generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + FOL + ZF -->
 <MODE>
   <PROPS>
     <PROPERTY NAME="commentStart" VALUE="(*"/>
diff -r 701e0e3ee972 -r 5ce94680922e lib/scripts/keywords.pl
--- a/lib/scripts/keywords.pl	Sun Oct 07 13:48:06 2007 +0200
+++ b/lib/scripts/keywords.pl	Sun Oct 07 13:52:16 2007 +0200
@@ -146,6 +146,9 @@
   print <<'EOF';
 <?xml version="1.0"?>
 <!DOCTYPE MODE SYSTEM "xmode.dtd">
+EOF
+  print "<!-- This file was generated from ${sessions} -->\n";
+  print <<'EOF';
 <MODE>
   <PROPS>
     <PROPERTY NAME="commentStart" VALUE="(*"/>