Admin/Release/CHECKLIST
changeset 50990 11996ea98bbe
parent 50984 7c07ade3c8e0
child 51097 72c355842f42
equal deleted inserted replaced
50989:a7f6ce0493b7 50990:11996ea98bbe
    12 - test Proof General 4.1, 3.7.1.1;
    12 - test Proof General 4.1, 3.7.1.1;
    13 
    13 
    14 - test 'display_drafts' command;
    14 - test 'display_drafts' command;
    15 
    15 
    16 - check HTML header of library;
    16 - check HTML header of library;
    17 
       
    18 - check persistent sessions with PG and Poly/ML 5.x;
       
    19 
    17 
    20 - check file positions within logic images (hyperlinks etc.);
    18 - check file positions within logic images (hyperlinks etc.);
    21 
    19 
    22 - isabelle update_keywords;
    20 - isabelle update_keywords;
    23 
    21 
    42 - test Isabelle/jEdit:
    40 - test Isabelle/jEdit:
    43     print buffer
    41     print buffer
    44 
    42 
    45 - test contrib components:
    43 - test contrib components:
    46     x86_64-linux without 32bit C/C++ libraries
    44     x86_64-linux without 32bit C/C++ libraries
    47     Mac OS X Leopard
       
    48 
    45 
    49 - check "Handler catches all exceptions", using
    46 - check "Handler catches all exceptions", using
    50   PolyML.Compiler.reportExhaustiveHandlers := true;
    47   PolyML.Compiler.reportExhaustiveHandlers := true;
    51 
    48 
    52 
    49