# HG changeset patch
# User wenzelm
# Date 1358686753 -3600
# Node ID 11996ea98bbe029c09b42f2b6004ee089ec29c20
# Parent  a7f6ce0493b78b1a6eaf4c2cb686d4b82d9fab76
tuned;

diff -r a7f6ce0493b7 -r 11996ea98bbe Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sun Jan 20 13:55:15 2013 +0100
+++ b/Admin/Release/CHECKLIST	Sun Jan 20 13:59:13 2013 +0100
@@ -15,8 +15,6 @@
 
 - check HTML header of library;
 
-- check persistent sessions with PG and Poly/ML 5.x;
-
 - check file positions within logic images (hyperlinks etc.);
 
 - isabelle update_keywords;
@@ -44,7 +42,6 @@
 
 - test contrib components:
     x86_64-linux without 32bit C/C++ libraries
-    Mac OS X Leopard
 
 - check "Handler catches all exceptions", using
   PolyML.Compiler.reportExhaustiveHandlers := true;