tuned generated comment;
authorwenzelm
Mon Oct 08 19:53:09 2007 +0200 (2007-10-08)
changeset 2491252bc004950c4
parent 24911 4efb68e5576d
child 24913 eb6fd8f78d56
tuned generated comment;
etc/isar-keywords-ZF.el
etc/isar-keywords.el
lib/jedit/isabelle.xml
lib/scripts/keywords.pl
     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>