--- 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;