Admin/CHECKLIST
changeset 25428 95c0b4dc600b
parent 25236 54b390300227
child 25550 c482262dd960
equal deleted inserted replaced
25427:8ba39d2d9d0b 25428:95c0b4dc600b
     1 Checklist for official releases
     1 Checklist for official releases
     2 ===============================
     2 ===============================
       
     3 
       
     4 - test alice, mosml, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin;
       
     5 
       
     6 - test ProofGeneral;
       
     7 
       
     8 - check HTML header of library;
       
     9 
       
    10 - check CTRL-C, SIGINT in tty;
     3 
    11 
     4 - Admin/update-keywords;
    12 - Admin/update-keywords;
     5 
    13 
     6 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
    14 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
     7 
       
     8 - run tests with all supported ML systems;
       
     9 
    15 
    10 - maintain Docs:
    16 - maintain Docs:
    11     Doc/Contents
    17     Doc/Contents
    12     Distribution/doc/Contents
    18     Distribution/doc/Contents
    13     Admin/index.html (? FIXME ?)
    19     Admin/index.html (? FIXME ?)