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