tuned structure Distribution;

--- a/Admin/makedist	Mon Feb 25 16:31:20 2008 +0100
+++ b/Admin/makedist	Mon Feb 25 17:27:38 2008 +0100
@@ -208,12 +208,9 @@
     echo "This is an unofficial release of Isabelle, created by $LOGNAME $DATE."
     echo
   } >ANNOUNCE
-  perl -pi -e "s/val is_unofficial = false/val is_unofficial = true/" src/Pure/ROOT.ML
+  perl -pi -e "s/val is_official = true/val is_official = false/" src/Pure/ROOT.ML
 fi
 
-[ -f ChangeLog.gz ] && \
-  perl -pi -e "s/val has_changelog = false/val has_changelog = true/" src/Pure/ROOT.ML
-
 perl -pi -e "s/ISABELLE_IDENTIFIER=\"\"/ISABELLE_IDENTIFIER=\"$DISTNAME\"/g;" lib/scripts/getsettings
 perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/library_index_header.template
 perl -pi -e "s/Isabelle repository version/$DISTVERSION/" src/Pure/ROOT.ML lib/Tools/version

--- 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*)