# HG changeset patch
# User wenzelm
# Date 1196896888 -3600
# Node ID c482262dd960e9c5eeee208678697261ec1e7e41
# Parent  7040555f20c7f5fea1cdbf23f811c4b510365be8
check persistent sessions;

diff -r 7040555f20c7 -r c482262dd960 Admin/CHECKLIST
--- a/Admin/CHECKLIST	Wed Dec 05 20:56:42 2007 +0100
+++ b/Admin/CHECKLIST	Thu Dec 06 00:21:28 2007 +0100
@@ -9,6 +9,8 @@
 
 - check CTRL-C, SIGINT in tty;
 
+- check persistent sessions with PG and Poly/ML 5.1/5.0;
+
 - Admin/update-keywords;
 
 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;