--- a/Admin/CHECKLIST Sun Jan 16 21:10:30 2011 +0100
+++ b/Admin/CHECKLIST Mon Jan 17 16:57:24 2011 +0100
@@ -3,7 +3,7 @@
- test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
-- test Proof General 4.1;
+- test Proof General 4.1, 4.0, 3.7.1.1;
- test Scala wrapper;