src/Pure/ROOT.ML
changeset 32361 141e5151b918
parent 32187 cca43ca13f4f
child 32736 f126e68d003d
     1.1 --- a/src/Pure/ROOT.ML	Tue Aug 11 10:58:36 2009 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Tue Aug 11 15:53:13 2009 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  
     1.5  structure Distribution =     (*filled-in by makedist*)
     1.6  struct
     1.7 -  val version = "Isabelle repository version";
     1.8 +  val version = "unidentified repository version";
     1.9    val is_official = false;
    1.10    val changelog = "";
    1.11  end;