--- a/etc/isar-keywords-ZF.el Mon Oct 08 18:13:10 2007 +0200
+++ b/etc/isar-keywords-ZF.el Mon Oct 08 19:53:09 2007 +0200
@@ -1,6 +1,6 @@
;;
;; Keyword classification tables for Isabelle/Isar.
-;; Generated from Pure + Pure-ProofGeneral + FOL + ZF
+;; Generated from Pure + Pure-ProofGeneral + FOL + ZF.
;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
;;
;; $Id$
--- a/etc/isar-keywords.el Mon Oct 08 18:13:10 2007 +0200
+++ b/etc/isar-keywords.el Mon Oct 08 19:53:09 2007 +0200
@@ -1,6 +1,6 @@
;;
;; Keyword classification tables for Isabelle/Isar.
-;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal
+;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal.
;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
;;
;; $Id$
--- a/lib/jedit/isabelle.xml Mon Oct 08 18:13:10 2007 +0200
+++ b/lib/jedit/isabelle.xml Mon Oct 08 19:53:09 2007 +0200
@@ -1,7 +1,8 @@
<?xml version="1.0"?>
<!DOCTYPE MODE SYSTEM "xmode.dtd">
-<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + FOL + ZF -->
+<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + FOL + ZF. -->
<!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->
+<!-- $Id$ -->
<MODE>
<PROPS>
<PROPERTY NAME="commentStart" VALUE="(*"/>
--- a/lib/scripts/keywords.pl Mon Oct 08 18:13:10 2007 +0200
+++ b/lib/scripts/keywords.pl Mon Oct 08 19:53:09 2007 +0200
@@ -72,7 +72,7 @@
print ";;\n";
print ";; Keyword classification tables for Isabelle/Isar.\n";
- print ";; Generated from ${sessions}\n";
+ print ";; Generated from ${sessions}.\n";
print ";; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***\n";
print ";;\n";
print ";; \$", "Id\$\n";
@@ -148,8 +148,9 @@
<?xml version="1.0"?>
<!DOCTYPE MODE SYSTEM "xmode.dtd">
EOF
- print "<!-- Generated from ${sessions} -->\n";
+ print "<!-- Generated from ${sessions}. -->\n";
print "<!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->\n";
+ print "<!-- \$", "Id\$ -->\n";
print <<'EOF';
<MODE>
<PROPS>