# HG changeset patch
# User wenzelm
# Date 1358441229 -3600
# Node ID 1005346154e8c5173309df4096cced90814099c7
# Parent  d58dae9079a6009eab602a8629343069b368ef74
tuned;

diff -r d58dae9079a6 -r 1005346154e8 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Thu Jan 17 17:29:02 2013 +0100
+++ b/Admin/Release/CHECKLIST	Thu Jan 17 17:47:09 2013 +0100
@@ -11,9 +11,9 @@
 
 - test Proof General 4.1, 3.7.1.1;
 
-- check HTML header of library;
+- test 'display_drafts' command;
 
-- check CTRL-C, SIGINT in tty (also for external processes);
+- check HTML header of library;
 
 - check persistent sessions with PG and Poly/ML 5.x;