1.1 --- a/lib/scripts/keywords.pl	Mon Oct 08 18:13:10 2007 +0200
     1.2 +++ b/lib/scripts/keywords.pl	Mon Oct 08 19:53:09 2007 +0200
     1.3 @@ -72,7 +72,7 @@
     1.4  
     1.5    print ";;\n";
     1.6    print ";; Keyword classification tables for Isabelle/Isar.\n";
     1.7 -  print ";; Generated from ${sessions}\n";
     1.8 +  print ";; Generated from ${sessions}.\n";
     1.9    print ";; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***\n";
    1.10    print ";;\n";
    1.11    print ";; \$", "Id\$\n";
    1.12 @@ -148,8 +148,9 @@
    1.13  <?xml version="1.0"?>
    1.14  <!DOCTYPE MODE SYSTEM "xmode.dtd">
    1.15  EOF
    1.16 -  print "<!-- Generated from ${sessions} -->\n";
    1.17 +  print "<!-- Generated from ${sessions}. -->\n";
    1.18    print "<!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->\n";
    1.19 +  print "<!-- \$", "Id\$ -->\n";
    1.20    print <<'EOF';
    1.21  <MODE>
    1.22    <PROPS>