diff -r 7015fee8c3e8 -r 3fd52453ae81 Admin/CHECKLIST
--- a/Admin/CHECKLIST	Sat May 30 22:37:38 2009 +0200
+++ b/Admin/CHECKLIST	Sun May 31 14:15:07 2009 +0200
@@ -1,8 +1,9 @@
 Checklist for official releases
 ===============================
 
-- test mosml, polyml-5.2, polyml-5.1, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0,
-  sparc-solaris, x86-solaris;
+- test mosml, polyml-5.2, polyml-5.1, polyml-5.0;
+
+- test sparc-solaris, x86-solaris;
 
 - test ProofGeneral;