--- 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>