# HG changeset patch
# User wenzelm
# Date 1229770534 -3600
# Node ID b1c6f4563df76ba16a885056d8d7930f87cc088e
# Parent  ca186ebbd8243b63189fd823a3a4aa8741143706
removed Ids;

diff -r ca186ebbd824 -r b1c6f4563df7 CONTRIBUTORS
--- a/CONTRIBUTORS	Sat Dec 20 11:39:34 2008 +0100
+++ b/CONTRIBUTORS	Sat Dec 20 11:55:34 2008 +0100
@@ -204,5 +204,3 @@
 * 2004/2005: Tjark Weber, TUM
   SAT solver method using zChaff.
   Improved version of HOL/refute.
-
-$Id$
diff -r ca186ebbd824 -r b1c6f4563df7 INSTALL
--- a/INSTALL	Sat Dec 20 11:39:34 2008 +0100
+++ b/INSTALL	Sat Dec 20 11:55:34 2008 +0100
@@ -85,6 +85,3 @@
 Note that the site-wide Isabelle installation may already provide
 Isabelle executables in some global bin directory (such as
 /usr/local/bin).
-
-
-$Id$
diff -r ca186ebbd824 -r b1c6f4563df7 NEWS
--- a/NEWS	Sat Dec 20 11:39:34 2008 +0100
+++ b/NEWS	Sat Dec 20 11:55:34 2008 +0100
@@ -5956,6 +5956,3 @@
 types;
 
 :mode=text:wrap=hard:maxLineLen=72:
-
-
-$Id$
diff -r ca186ebbd824 -r b1c6f4563df7 build
--- a/build	Sat Dec 20 11:39:34 2008 +0100
+++ b/build	Sat Dec 20 11:55:34 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # build - compile the Isabelle system and object-logics
diff -r ca186ebbd824 -r b1c6f4563df7 etc/proofgeneral-settings.el
--- a/etc/proofgeneral-settings.el	Sat Dec 20 11:39:34 2008 +0100
+++ b/etc/proofgeneral-settings.el	Sat Dec 20 11:55:34 2008 +0100
@@ -1,6 +1,3 @@
-;;;
-;;; $Id$
-;;;
 ;;; Options for Proof General
 
 ;; Examples for sensible settings:
diff -r ca186ebbd824 -r b1c6f4563df7 etc/settings
--- a/etc/settings	Sat Dec 20 11:39:34 2008 +0100
+++ b/etc/settings	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,4 @@
 # -*- shell-script -*- :mode=shellscript:
-# $Id$
 #
 # Isabelle settings -- site defaults.
 #
diff -r ca186ebbd824 -r b1c6f4563df7 etc/symbols
--- a/etc/symbols	Sat Dec 20 11:39:34 2008 +0100
+++ b/etc/symbols	Sat Dec 20 11:55:34 2008 +0100
@@ -1,4 +1,3 @@
-# $Id$
 # Default interpretation of some Isabelle symbols
 
 \<zero>                 code: 0x01d7ec  font: Isabelle
diff -r ca186ebbd824 -r b1c6f4563df7 etc/user-settings.sample
--- a/etc/user-settings.sample	Sat Dec 20 11:39:34 2008 +0100
+++ b/etc/user-settings.sample	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,4 @@
 # -*- shell-script -*-
-# $Id$
 #
 # Isabelle user settings sample -- for use in ~/.isabelle/etc/settings
 
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/dimacs2hol.pl
--- a/lib/scripts/dimacs2hol.pl	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/dimacs2hol.pl	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,3 @@
-#
-# $Id$
 #
 # dimacs2hol.pl - convert files in DIMACS CNF format [1] into Isabelle/HOL
 #                 theories
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/feeder
--- a/lib/scripts/feeder	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/feeder	Sat Dec 20 11:55:34 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # feeder - feed isabelle session
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/feeder.pl
--- a/lib/scripts/feeder.pl	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/feeder.pl	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,4 @@
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # feeder.pl - feed isabelle session
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/fileident
--- a/lib/scripts/fileident	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/fileident	Sat Dec 20 11:55:34 2008 +0100
@@ -1,7 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
-#
 # fileident --- produce file identification based
 
 FILE="$1"
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/getsettings	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,5 @@
 # -*- shell-script -*- :mode=shellscript:
-# $Id$
+#
 # Author: Markus Wenzel, TU Muenchen
 #
 # getsettings - bash source script to augment current env.
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/keywords.pl
--- 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>
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/polyml-platform
--- a/lib/scripts/polyml-platform	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/polyml-platform	Sat Dec 20 11:55:34 2008 +0100
@@ -1,7 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
-#
 # polyml-platform --- determine Poly/ML's idea of current hardware and
 # operating system type
 #
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/polyml-version
--- a/lib/scripts/polyml-version	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/polyml-version	Sat Dec 20 11:55:34 2008 +0100
@@ -1,7 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
-#
 # polyml-version --- determine Poly/ML runtime system version
 
 echo -n polyml
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/run-mosml
--- a/lib/scripts/run-mosml	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/run-mosml	Sat Dec 20 11:55:34 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # Moscow ML 2.00 startup script
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/run-polyml
--- a/lib/scripts/run-polyml	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/run-polyml	Sat Dec 20 11:55:34 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Makarius
 #
 # Poly/ML 5.1/5.2 startup script.
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/run-polyml-4.1.3
--- a/lib/scripts/run-polyml-4.1.3	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/run-polyml-4.1.3	Sat Dec 20 11:55:34 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # Poly/ML 4.x startup script.
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/run-polyml-4.1.4
--- a/lib/scripts/run-polyml-4.1.4	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/run-polyml-4.1.4	Sat Dec 20 11:55:34 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # Poly/ML 4.x startup script.
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/run-polyml-4.2.0
--- a/lib/scripts/run-polyml-4.2.0	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/run-polyml-4.2.0	Sat Dec 20 11:55:34 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # Poly/ML 4.x startup script.
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/run-polyml-5.0
--- a/lib/scripts/run-polyml-5.0	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/run-polyml-5.0	Sat Dec 20 11:55:34 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Makarius
 #
 # Poly/ML 5.0 startup script.
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/run-smlnj
--- a/lib/scripts/run-smlnj	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/run-smlnj	Sat Dec 20 11:55:34 2008 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # SML/NJ startup script (for 110 or later).
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/system.pl
--- a/lib/scripts/system.pl	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/system.pl	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,4 @@
 #
-# $Id$
 # Author: Makarius
 #
 # system.pl - invoke shell command line (with robust signal handling)
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/timestart.bash
--- a/lib/scripts/timestart.bash	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/timestart.bash	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,5 @@
 # -*- shell-script -*-
-# $Id$
+#
 # Author: Makarius
 #
 # timestart - setup bash environment for timing.
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/timestop.bash
--- a/lib/scripts/timestop.bash	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/timestop.bash	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,5 @@
 # -*- shell-script -*-
-# $Id$
+#
 # Author: Makarius
 #
 # timestop - report timing based on environment (cf. timestart.bash)
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/unsymbolize.pl
--- a/lib/scripts/unsymbolize.pl	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/unsymbolize.pl	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,4 @@
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # unsymbolize.pl - remove unreadable symbol names from sources
diff -r ca186ebbd824 -r b1c6f4563df7 lib/scripts/yxml.pl
--- a/lib/scripts/yxml.pl	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/scripts/yxml.pl	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,4 @@
 #
-# $Id$
 # Author: Makarius
 #
 # yxml.pl - simple XML to YXML converter
diff -r ca186ebbd824 -r b1c6f4563df7 lib/texinputs/draft.tex
--- a/lib/texinputs/draft.tex	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/texinputs/draft.tex	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,3 @@
-%%
-%% $Id$
 %%
 %% root for draft documents
 %%
diff -r ca186ebbd824 -r b1c6f4563df7 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/texinputs/isabelle.sty	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,3 @@
-%%
-%% $Id$
 %%
 %% macros for Isabelle generated LaTeX output
 %%
diff -r ca186ebbd824 -r b1c6f4563df7 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/texinputs/isabellesym.sty	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,3 @@
-%%
-%% $Id$
 %%
 %% definitions of standard Isabelle symbols
 %%
diff -r ca186ebbd824 -r b1c6f4563df7 lib/texinputs/pdfsetup.sty
--- a/lib/texinputs/pdfsetup.sty	Sat Dec 20 11:39:34 2008 +0100
+++ b/lib/texinputs/pdfsetup.sty	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,3 @@
-%%
-%% $Id$
 %%
 %% default hyperref setup (both for pdf and dvi output)
 %%