src/Pure/ROOT.ML
changeset 27642 c0db1220b071
parent 27546 726e8fa3e404
child 28120 dd4297f5b495
--- a/src/Pure/ROOT.ML	Thu Jul 17 20:15:13 2008 +0200
+++ b/src/Pure/ROOT.ML	Thu Jul 17 20:15:14 2008 +0200
@@ -7,7 +7,8 @@
 structure Distribution =     (*filled-in by makedist*)
 struct
   val version = "Isabelle repository version";
-  val is_official = true;
+  val is_official = false;
+  val changelog = "";
 end;
 
 (*if true then some tools will OMIT some proofs*)