--- a/src/Pure/ProofGeneral/README Mon Mar 02 18:50:41 2009 +0100
+++ b/src/Pure/ProofGeneral/README Mon Mar 02 20:29:43 2009 +0100
@@ -34,4 +34,4 @@
http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGIP
David Aspinall, Dec. 2006.
-$Id$
+
--- a/src/Pure/README Mon Mar 02 18:50:41 2009 +0100
+++ b/src/Pure/README Mon Mar 02 20:29:43 2009 +0100
@@ -19,5 +19,3 @@
See ROOT.ML for further information.
-
-$Id$
--- a/src/Pure/mk Mon Mar 02 18:50:41 2009 +0100
+++ b/src/Pure/mk Mon Mar 02 20:29:43 2009 +0100
@@ -1,6 +1,5 @@
#!/usr/bin/env bash
#
-# $Id$
# Author: Markus Wenzel, TU Muenchen
#
# mk - build Pure Isabelle.