removed Ids;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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