1 Checklist for official releases
2 ===============================
4 - Admin/update-keywords;
6 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
8 - run tests with all supported ML systems;
12 Distribution/doc/Contents
18 Distribution/lib/Tools/makeall
19 Distribution/lib/html/index.html
24 commit new ~isabelle/website/include/documentationdist.include.html to CVS
25 !!! commit new Admin/website/conf/distname.mak to CVS
26 !!! this is currently not part of CVS, so ignore this description;
27 !!! perhaps we will need to add it