1.1 --- a/Admin/CHECKLIST	Tue Nov 13 13:51:12 2007 +0100
     1.2 +++ b/Admin/CHECKLIST	Tue Nov 13 16:24:03 2007 +0100
     1.3 @@ -1,12 +1,18 @@
     1.4  Checklist for official releases
     1.5  ===============================
     1.6  
     1.7 +- test alice, mosml, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin;
     1.8 +
     1.9 +- test ProofGeneral;
    1.10 +
    1.11 +- check HTML header of library;
    1.12 +
    1.13 +- check CTRL-C, SIGINT in tty;
    1.14 +
    1.15  - Admin/update-keywords;
    1.16  
    1.17  - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
    1.18  
    1.19 -- run tests with all supported ML systems;
    1.20 -
    1.21  - maintain Docs:
    1.22      Doc/Contents
    1.23      Distribution/doc/Contents