diff -r 79b5b3031c87 -r 141e5151b918 README
--- a/README	Tue Aug 11 10:58:36 2009 +0200
+++ b/README	Tue Aug 11 15:53:13 2009 +0200
@@ -2,7 +2,7 @@
 
 Version information
 
-   This is the internal repository version of Isabelle.
+   This is some unidentified repository version of Isabelle.
 
    See the NEWS file in the distribution for details on user-relevant
    changes.