# HG changeset patch
# User wenzelm
# Date 1290949280 -3600
# Node ID ba5be5c3d47741c114516154f78651b78189bcef
# Parent  1cabd6f4a718ced19be783d8b96b2984c34e455a
updated versions;

diff -r 1cabd6f4a718 -r ba5be5c3d477 Admin/CHECKLIST
--- a/Admin/CHECKLIST	Sun Nov 28 13:58:29 2010 +0100
+++ b/Admin/CHECKLIST	Sun Nov 28 14:01:20 2010 +0100
@@ -1,9 +1,9 @@
 Checklist for official releases
 ===============================
 
-- test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0, smlnj;
+- test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
 
-- test Proof General;
+- test Proof General 3.7.1.1, 4.0;
 
 - test Scala wrapper;