diff -r 79b5b3031c87 -r 141e5151b918 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Tue Aug 11 10:58:36 2009 +0200
+++ b/src/Pure/ROOT.ML	Tue Aug 11 15:53:13 2009 +0200
@@ -2,7 +2,7 @@
 
 structure Distribution =     (*filled-in by makedist*)
 struct
-  val version = "Isabelle repository version";
+  val version = "unidentified repository version";
   val is_official = false;
   val changelog = "";
 end;