1.1 --- a/Admin/Release/CHECKLIST	Thu Oct 03 16:09:47 2013 +0200
     1.2 +++ b/Admin/Release/CHECKLIST	Thu Oct 03 16:15:47 2013 +0200
     1.3 @@ -50,6 +50,16 @@
     1.4    PolyML.Compiler.reportExhaustiveHandlers := true;
     1.5  
     1.6  
     1.7 +Repository fork
     1.8 +===============
     1.9 +
    1.10 +- isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release;
    1.11 +
    1.12 +- isabelle-release: hg tag;
    1.13 +
    1.14 +- isabelle: back to back to post-release mode -- after fork point;
    1.15 +
    1.16 +
    1.17  Packaging
    1.18  =========
    1.19