# HG changeset patch
# User wenzelm
# Date 1236022183 -3600
# Node ID 8ede2f7104cfcfdf6825b54073d1f054e8a39a0d
# Parent  eddc1e7745573d769a282327149a0311fc77e5c8
removed Ids;

diff -r eddc1e774557 -r 8ede2f7104cf src/Pure/ProofGeneral/README
--- 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$
+
diff -r eddc1e774557 -r 8ede2f7104cf src/Pure/README
--- 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$
diff -r eddc1e774557 -r 8ede2f7104cf src/Pure/mk
--- 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.