1.1 --- a/src/Pure/ROOT.ML	Mon Feb 25 16:31:20 2008 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Mon Feb 25 17:27:38 2008 +0100
     1.3 @@ -7,8 +7,7 @@
     1.4  structure Distribution =     (*filled-in by makedist*)
     1.5  struct
     1.6    val version = "Isabelle repository version";
     1.7 -  val is_unofficial = false;
     1.8 -  val has_changelog = false;
     1.9 +  val is_official = true;
    1.10  end;
    1.11  
    1.12  (*if true then some tools will OMIT some proofs*)