# HG changeset patch
# User wenzelm
# Date 1295279844 -3600
# Node ID 2049f179aa210ea971776bbbcbfad9a61c9e7f9c
# Parent  ced4f78bb7289c1c001a1652fd4f8a88e16b1120
keep Proof General 4.0 and 3.7.1.1 for now;

diff -r ced4f78bb728 -r 2049f179aa21 Admin/CHECKLIST
--- 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;