Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/keywords.pl
changeset 29145 b1c6f4563df7
parent 27386 d10ec4969b9f
child 33684 29d8aaeb56e5 
--- a/lib/scripts/keywords.pl	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/keywords.pl	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,4 @@
 #
-# $Id$
 # Author: Makarius
 #
 # keywords.pl - generate outer syntax keyword files from session logs
@@ -79,8 +78,6 @@
   print ";; Generated from ${sessions}.\n";
   print ";; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***\n";
   print ";;\n";
-  print ";; \$", "Id\$\n";
-  print ";;\n";
 
   for my $kind (@kinds) {
     my @names;
@@ -154,7 +151,6 @@
 EOF
   print "<!-- Generated from ${sessions}. -->\n";
   print "<!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->\n";
-  print "<!-- \$", "Id\$ -->\n";
   print <<'EOF';
 <MODE>
   <PROPS>
isabelle