1.1 --- a/etc/isar-keywords-ZF.el Mon Oct 08 18:13:10 2007 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Mon Oct 08 19:53:09 2007 +0200
1.3 @@ -1,6 +1,6 @@
1.4 ;;
1.5 ;; Keyword classification tables for Isabelle/Isar.
1.6 -;; Generated from Pure + Pure-ProofGeneral + FOL + ZF
1.7 +;; Generated from Pure + Pure-ProofGeneral + FOL + ZF.
1.8 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
1.9 ;;
1.10 ;; $Id$
2.1 --- a/etc/isar-keywords.el Mon Oct 08 18:13:10 2007 +0200
2.2 +++ b/etc/isar-keywords.el Mon Oct 08 19:53:09 2007 +0200
2.3 @@ -1,6 +1,6 @@
2.4 ;;
2.5 ;; Keyword classification tables for Isabelle/Isar.
2.6 -;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal
2.7 +;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal.
2.8 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
2.9 ;;
2.10 ;; $Id$
3.1 --- a/lib/jedit/isabelle.xml Mon Oct 08 18:13:10 2007 +0200
3.2 +++ b/lib/jedit/isabelle.xml Mon Oct 08 19:53:09 2007 +0200
3.3 @@ -1,7 +1,8 @@
3.4 <?xml version="1.0"?>
3.5 <!DOCTYPE MODE SYSTEM "xmode.dtd">
3.6 -<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + FOL + ZF -->
3.7 +<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + FOL + ZF. -->
3.8 <!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->
3.9 +<!-- $Id$ -->
3.10 <MODE>
3.11 <PROPS>
3.12 <PROPERTY NAME="commentStart" VALUE="(*"/>
4.1 --- a/lib/scripts/keywords.pl Mon Oct 08 18:13:10 2007 +0200
4.2 +++ b/lib/scripts/keywords.pl Mon Oct 08 19:53:09 2007 +0200
4.3 @@ -72,7 +72,7 @@
4.4
4.5 print ";;\n";
4.6 print ";; Keyword classification tables for Isabelle/Isar.\n";
4.7 - print ";; Generated from ${sessions}\n";
4.8 + print ";; Generated from ${sessions}.\n";
4.9 print ";; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***\n";
4.10 print ";;\n";
4.11 print ";; \$", "Id\$\n";
4.12 @@ -148,8 +148,9 @@
4.13 <?xml version="1.0"?>
4.14 <!DOCTYPE MODE SYSTEM "xmode.dtd">
4.15 EOF
4.16 - print "<!-- Generated from ${sessions} -->\n";
4.17 + print "<!-- Generated from ${sessions}. -->\n";
4.18 print "<!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->\n";
4.19 + print "<!-- \$", "Id\$ -->\n";
4.20 print <<'EOF';
4.21 <MODE>
4.22 <PROPS>