changeset 26109 | c69c3559355b |
parent 25953 | 03937086b1fe |
child 26133 | 8ea867ad9a48 |
--- a/src/Pure/ROOT.ML Thu Feb 21 21:31:51 2008 +0100 +++ b/src/Pure/ROOT.ML Thu Feb 21 21:31:52 2008 +0100 @@ -4,7 +4,12 @@ Pure Isabelle. *) -val version = "Isabelle repository version"; (*filled in automatically!*) +structure Distribution = (*filled-in by makedist*) +struct + val version = "Isabelle repository version"; + val is_unofficial = false; + val has_changelog = false; +end; (*if true then some tools will OMIT some proofs*) val quick_and_dirty = ref false;