# HG changeset patch
# User wenzelm
# Date 1380809747 -7200
# Node ID 797ae756d64dd2612036b3ad93d3daa6ddbea837
# Parent  cdba71c67860cde481fce1eab3b14a1fecc57b4a
more notes;

diff -r cdba71c67860 -r 797ae756d64d Admin/Release/CHECKLIST
--- 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
 =========