--- a/Admin/CHECKLIST	Thu May 24 14:46:14 2012 +0200
+++ b/Admin/CHECKLIST	Thu May 24 15:01:17 2012 +0200
@@ -1,7 +1,7 @@
 Checklist for official releases
 ===============================
 
-- test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
+- test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj;
 
 - test Proof General 4.1, 3.7.1.1;