# HG changeset patch
# User wenzelm
# Date 1216318514 -7200
# Node ID c0db1220b0710a8819cc226cc019381ff654e38b
# Parent  4d7c96b72d494d077ae2874c2111742c521aa253
structure Distribution: swapped default for is_official;

diff -r 4d7c96b72d49 -r c0db1220b071 src/Pure/ROOT.ML
--- 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*)