src/Pure/ROOT.ML
changeset 26133 8ea867ad9a48
parent 26109 c69c3559355b
child 26279 e8440c90c474
--- a/src/Pure/ROOT.ML	Mon Feb 25 16:31:20 2008 +0100
+++ b/src/Pure/ROOT.ML	Mon Feb 25 17:27:38 2008 +0100
@@ -7,8 +7,7 @@
 structure Distribution =     (*filled-in by makedist*)
 struct
   val version = "Isabelle repository version";
-  val is_unofficial = false;
-  val has_changelog = false;
+  val is_official = true;
 end;
 
 (*if true then some tools will OMIT some proofs*)