1.1 --- a/Admin/CHECKLIST	Wed Dec 05 20:56:42 2007 +0100
     1.2 +++ b/Admin/CHECKLIST	Thu Dec 06 00:21:28 2007 +0100
     1.3 @@ -9,6 +9,8 @@
     1.4  
     1.5  - check CTRL-C, SIGINT in tty;
     1.6  
     1.7 +- check persistent sessions with PG and Poly/ML 5.1/5.0;
     1.8 +
     1.9  - Admin/update-keywords;
    1.10  
    1.11  - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;