# HG changeset patch
# User wenzelm
# Date 1258832656 -3600
# Node ID 6508d0e8bb19c133fba5a993d48092fff31ca117
# Parent  f00a8956d6d0fcb83f5532142e8dd156606e43f9
tuned;

diff -r f00a8956d6d0 -r 6508d0e8bb19 Admin/CHECKLIST
--- a/Admin/CHECKLIST	Sat Nov 21 20:41:29 2009 +0100
+++ b/Admin/CHECKLIST	Sat Nov 21 20:44:16 2009 +0100
@@ -1,11 +1,11 @@
 Checklist for official releases
 ===============================
 
-- test mosml, polyml-5.2, polyml-5.1, polyml-5.0;
+- test mosml, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0;
 
 - test sparc-solaris, x86-solaris;
 
-- test ProofGeneral;
+- test Proof General;
 
 - test Scala wrapper;