updated for release;
authorwenzelm
Sun Sep 29 12:18:47 2013 +0200 (2013-09-29)
changeset 53979711104822c8e
parent 53978 65c893e0849f
child 53980 7e6a82c593f4
updated for release;
Admin/Release/CHECKLIST
     1.1 --- a/Admin/Release/CHECKLIST	Sun Sep 29 12:17:02 2013 +0200
     1.2 +++ b/Admin/Release/CHECKLIST	Sun Sep 29 12:18:47 2013 +0200
     1.3 @@ -17,8 +17,6 @@
     1.4  
     1.5  - check HTML header of library;
     1.6  
     1.7 -- check file positions within logic images (hyperlinks etc.);
     1.8 -
     1.9  - check ML sources: isabelle build -nal;
    1.10  
    1.11  - run isabelle update_keywords;
    1.12 @@ -29,7 +27,9 @@
    1.13  
    1.14  - diff NEWS wrt. last official release, which is read-only;
    1.15  
    1.16 -- update https://isabelle.in.tum.de/repos/website;
    1.17 +- update https://bitbucket.org/isabelle_project/isabelle-release/wiki/Home
    1.18 +
    1.19 +- update https://bitbucket.org/isabelle_project/isabelle-website
    1.20  
    1.21  - maintain doc/Contents;
    1.22