--- a/Admin/CHECKLIST Fri Jan 07 15:55:27 2011 +0100
+++ b/Admin/CHECKLIST Fri Jan 07 16:11:02 2011 +0100
@@ -3,7 +3,7 @@
- test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
-- test Proof General 3.7.1.1, 4.0;
+- test Proof General 3.7.1.1/4.0 xor 4.1;
- test Scala wrapper;
@@ -17,6 +17,8 @@
- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
+- check Admin/contributed_components;
+
- diff NEWS wrt. last official release, which is read-only;
- update https://isabelle.in.tum.de/repos/website;