--- a/src/Tools/Metis/make-metis Sat Feb 28 14:02:12 2009 +0100
+++ b/src/Tools/Metis/make-metis Sat Feb 28 14:09:58 2009 +0100
@@ -1,7 +1,5 @@
#!/usr/bin/env bash
#
-# $Id$
-#
# make-metis - turn original Metis files into Isabelle ML source.
#
# Structure declarations etc. are made local by wrapping into a
@@ -11,8 +9,6 @@
THIS=$(cd "$(dirname "$0")"; echo $PWD)
(
- echo -n '(* $'
- echo 'Id$ *)'
cat <<EOF
(******************************************************************)
(* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *)