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