1.1 --- a/src/Pure/ROOT.scala	Thu Jul 24 15:13:37 2014 +0200
     1.2 +++ b/src/Pure/ROOT.scala	Thu Jul 24 15:54:56 2014 +0200
     1.3 @@ -7,5 +7,11 @@
     1.4  
     1.5  package object isabelle extends isabelle.Basic_Library
     1.6  {
     1.7 +  object Distribution     /*filled-in by makedist*/
     1.8 +  {
     1.9 +    val version = "unidentified repository version"
    1.10 +    val is_identified = false
    1.11 +    val is_official = false
    1.12 +  }
    1.13  }
    1.14