diff -r 79b5b3031c87 -r 141e5151b918 lib/Tools/version
--- a/lib/Tools/version	Tue Aug 11 10:58:36 2009 +0200
+++ b/lib/Tools/version	Tue Aug 11 15:53:13 2009 +0200
@@ -4,5 +4,4 @@
 #
 # DESCRIPTION: display Isabelle version
 
-
-echo 'Isabelle repository version'    # filled in automatically!
+echo 'unidentified repository version'    # filled in automatically!