structure Distribution: swapped default for is_official;
authorwenzelm
Thu Jul 17 20:15:14 2008 +0200 (2008-07-17)
changeset 27642c0db1220b071
parent 27641 4d7c96b72d49
child 27643 cc13e03124f0
structure Distribution: swapped default for is_official;
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/ROOT.ML	Thu Jul 17 20:15:13 2008 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Jul 17 20:15:14 2008 +0200
     1.3 @@ -7,7 +7,8 @@
     1.4  structure Distribution =     (*filled-in by makedist*)
     1.5  struct
     1.6    val version = "Isabelle repository version";
     1.7 -  val is_official = true;
     1.8 +  val is_official = false;
     1.9 +  val changelog = "";
    1.10  end;
    1.11  
    1.12  (*if true then some tools will OMIT some proofs*)