--- 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!