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.