1.1 --- a/src/Pure/ROOT.ML	Thu Jul 24 15:13:37 2014 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Jul 24 15:54:56 2014 +0200
     1.3 @@ -5,6 +5,7 @@
     1.4  structure Distribution =     (*filled-in by makedist*)
     1.5  struct
     1.6    val version = "unidentified repository version";
     1.7 +  val is_identified = false;
     1.8    val is_official = false;
     1.9  end;
    1.10