Admin/CHECKLIST
changeset 41446 92facb553823
parent 40781 ba5be5c3d477
child 41527 924106faa45f
     1.1 --- a/Admin/CHECKLIST	Fri Jan 07 15:55:27 2011 +0100
     1.2 +++ b/Admin/CHECKLIST	Fri Jan 07 16:11:02 2011 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  
     1.5  - test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
     1.6  
     1.7 -- test Proof General 3.7.1.1, 4.0;
     1.8 +- test Proof General 3.7.1.1/4.0 xor 4.1;
     1.9  
    1.10  - test Scala wrapper;
    1.11  
    1.12 @@ -17,6 +17,8 @@
    1.13  
    1.14  - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
    1.15  
    1.16 +- check Admin/contributed_components;
    1.17 +
    1.18  - diff NEWS wrt. last official release, which is read-only;
    1.19  
    1.20  - update https://isabelle.in.tum.de/repos/website;