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.
more notes;
authorwenzelm
Thu, 03 Oct 2013 16:15:47 +0200
changeset 54052 797ae756d64d
parent 54051 cdba71c67860
child 54053 ad5e2ed466ac
more notes;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Thu Oct 03 16:09:47 2013 +0200
+++ b/Admin/Release/CHECKLIST	Thu Oct 03 16:15:47 2013 +0200
@@ -50,6 +50,16 @@
   PolyML.Compiler.reportExhaustiveHandlers := true;
 
 
+Repository fork
+===============
+
+- isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release;
+
+- isabelle-release: hg tag;
+
+- isabelle: back to back to post-release mode -- after fork point;
+
+
 Packaging
 =========
isabelle