# HG changeset patch
# User wenzelm
# Date 1294413062 -3600
# Node ID 92facb55382352e93738bd088321f646f96e0a52
# Parent  1b31460c2e3a36e63ca259a3bc2ad18c06226912
updated for release;

diff -r 1b31460c2e3a -r 92facb553823 Admin/CHECKLIST
--- 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;