tuned;
authorwenzelm
Thu Jan 17 17:47:09 2013 +0100 (2013-01-17)
changeset 509571005346154e8
parent 50956 d58dae9079a6
child 50958 af59600d8955
tuned;
Admin/Release/CHECKLIST
     1.1 --- a/Admin/Release/CHECKLIST	Thu Jan 17 17:29:02 2013 +0100
     1.2 +++ b/Admin/Release/CHECKLIST	Thu Jan 17 17:47:09 2013 +0100
     1.3 @@ -11,9 +11,9 @@
     1.4  
     1.5  - test Proof General 4.1, 3.7.1.1;
     1.6  
     1.7 -- check HTML header of library;
     1.8 +- test 'display_drafts' command;
     1.9  
    1.10 -- check CTRL-C, SIGINT in tty (also for external processes);
    1.11 +- check HTML header of library;
    1.12  
    1.13  - check persistent sessions with PG and Poly/ML 5.x;
    1.14