1.1 --- a/Admin/Release/CHECKLIST Sun Jan 20 13:55:15 2013 +0100
1.2 +++ b/Admin/Release/CHECKLIST Sun Jan 20 13:59:13 2013 +0100
1.3 @@ -15,8 +15,6 @@
1.4
1.5 - check HTML header of library;
1.6
1.7 -- check persistent sessions with PG and Poly/ML 5.x;
1.8 -
1.9 - check file positions within logic images (hyperlinks etc.);
1.10
1.11 - isabelle update_keywords;
1.12 @@ -44,7 +42,6 @@
1.13
1.14 - test contrib components:
1.15 x86_64-linux without 32bit C/C++ libraries
1.16 - Mac OS X Leopard
1.17
1.18 - check "Handler catches all exceptions", using
1.19 PolyML.Compiler.reportExhaustiveHandlers := true;