# HG changeset patch
# User wenzelm
# Date 1194967443 -3600
# Node ID 95c0b4dc600be5f2b2d18cae3955886e67b29474
# Parent  8ba39d2d9d0b817e6efe0fe2d24ad6b0ad2ae38c
some more items;

diff -r 8ba39d2d9d0b -r 95c0b4dc600b Admin/CHECKLIST
--- 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