Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
structure Distribution: swapped default for is_official;
authorwenzelm
Thu, 17 Jul 2008 20:15:14 +0200
changeset 27642 c0db1220b071
parent 27641 4d7c96b72d49
child 27643 cc13e03124f0
structure Distribution: swapped default for is_official;
src/Pure/ROOT.ML file | annotate | diff | comparison | revisions 
--- 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*)
isabelle