tuned;
authorwenzelm
Wed May 28 23:36:19 2008 +0200 (2008-05-28)
changeset 270104856b752a57c
parent 27009 4f75f2c58123
child 27011 e6ba565eb436
tuned;
ANNOUNCE
Admin/CHECKLIST
     1.1 --- a/ANNOUNCE	Wed May 28 23:33:51 2008 +0200
     1.2 +++ b/ANNOUNCE	Wed May 28 23:36:19 2008 +0200
     1.3 @@ -6,12 +6,12 @@
     1.4  This release consolidates Isabelle2007, see the NEWS file in the
     1.5  distribution for more details.  Some notable improvements are:
     1.6  
     1.7 -* New version of HOL 'primrec' with local theory support.
     1.8 +* New version of HOL 'primrec' supporting type-inference and local
     1.9 +theory targets.
    1.10  
    1.11 -* New local theory targets for class instantiation and unrestricted
    1.12 -overloading.
    1.13 +* New local theory targets for class instantiation and overloading.
    1.14  
    1.15 -* Support for dynamic lists of named theorems.
    1.16 +* Support for named dynamic lists of theorems.
    1.17  
    1.18  * Significant speedup of Metis prover, with proper support for
    1.19  multithreading.
     2.1 --- a/Admin/CHECKLIST	Wed May 28 23:33:51 2008 +0200
     2.2 +++ b/Admin/CHECKLIST	Wed May 28 23:36:19 2008 +0200
     2.3 @@ -7,9 +7,9 @@
     2.4  
     2.5  - check HTML header of library;
     2.6  
     2.7 -- check CTRL-C, SIGINT in tty;
     2.8 +- check CTRL-C, SIGINT in tty (also for external processes);
     2.9  
    2.10 -- check persistent sessions with PG and Poly/ML 5.1/5.0;
    2.11 +- check persistent sessions with PG and Poly/ML 5.x;
    2.12  
    2.13  - Admin/update-keywords;
    2.14