tuned;
authorwenzelm
Sun Jan 20 13:59:13 2013 +0100 (2013-01-20)
changeset 5099011996ea98bbe
parent 50989 a7f6ce0493b7
child 50991 b3c6c9ef11b8
tuned;
Admin/Release/CHECKLIST
     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;