lib/Tools/getenv

--- a/lib/Tools/getenv	Wed Dec 04 12:30:49 1996 +0100
+++ b/lib/Tools/getenv	Wed Dec 04 13:05:47 1996 +0100
@@ -1,7 +1,9 @@
 #!/bin/bash
 #
+# $Id$
+#
 # DESCRIPTION: get value from Isabelle settings
-#
+
 
 PRG=$(basename $0)