Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned generated comment;
authorwenzelm
Sun, 07 Oct 2007 13:52:16 +0200
changeset 24890 5ce94680922e
parent 24889 701e0e3ee972
child 24891 df3581710b9b
tuned generated comment;
lib/jedit/isabelle.xml file | annotate | diff | comparison | revisions
lib/scripts/keywords.pl file | annotate | diff | comparison | revisions 
--- 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="(*"/>
--- 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="(*"/>
isabelle