--- a/Admin/CHECKLIST Tue Nov 13 13:51:12 2007 +0100
+++ b/Admin/CHECKLIST Tue Nov 13 16:24:03 2007 +0100
@@ -1,12 +1,18 @@
Checklist for official releases
===============================
+- test alice, mosml, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin;
+
+- test ProofGeneral;
+
+- check HTML header of library;
+
+- check CTRL-C, SIGINT in tty;
+
- Admin/update-keywords;
- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
-- run tests with all supported ML systems;
-
- maintain Docs:
Doc/Contents
Distribution/doc/Contents