src/Pure/ROOT.ML
changeset 27642 c0db1220b071
parent 27546 726e8fa3e404
child 28120 dd4297f5b495
     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*)