diff -r 4f75f2c58123 -r 4856b752a57c Admin/CHECKLIST
--- a/Admin/CHECKLIST	Wed May 28 23:33:51 2008 +0200
+++ b/Admin/CHECKLIST	Wed May 28 23:36:19 2008 +0200
@@ -7,9 +7,9 @@
 
 - check HTML header of library;
 
-- check CTRL-C, SIGINT in tty;
+- check CTRL-C, SIGINT in tty (also for external processes);
 
-- check persistent sessions with PG and Poly/ML 5.1/5.0;
+- check persistent sessions with PG and Poly/ML 5.x;
 
 - Admin/update-keywords;