Admin/CHECKLIST

--- a/Admin/CHECKLIST	Wed Sep 07 20:29:54 2011 +0200
+++ b/Admin/CHECKLIST	Wed Sep 07 20:49:45 2011 +0200
@@ -3,9 +3,7 @@
 
 - test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
 
-- test Proof General 4.1, 4.0, 3.7.1.1;
-
-- test Scala wrapper;
+- test Proof General 4.1, 3.7.1.1;
 
 - check HTML header of library;