src/Pure/mk

--- a/src/Pure/mk	Wed Mar 04 10:43:39 2009 +0100
+++ b/src/Pure/mk	Wed Mar 04 10:45:52 2009 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
 # mk - build Pure Isabelle.