--- a/Admin/CHECKLIST Fri May 28 11:23:34 2010 +0200
+++ b/Admin/CHECKLIST Fri May 28 11:37:38 2010 +0200
@@ -3,8 +3,6 @@
- test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0;
-- test sparc-solaris, x86-solaris;
-
- test Proof General;
- test Scala wrapper;