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
 =========