# HG changeset patch
# User wenzelm
# Date 1212010579 -7200
# Node ID 4856b752a57cdc7f0a7b4155b39173ff986763dc
# Parent  4f75f2c581235552493e7bb653c347e68dcca159
tuned;

diff -r 4f75f2c58123 -r 4856b752a57c ANNOUNCE
--- a/ANNOUNCE	Wed May 28 23:33:51 2008 +0200
+++ b/ANNOUNCE	Wed May 28 23:36:19 2008 +0200
@@ -6,12 +6,12 @@
 This release consolidates Isabelle2007, see the NEWS file in the
 distribution for more details.  Some notable improvements are:
 
-* New version of HOL 'primrec' with local theory support.
+* New version of HOL 'primrec' supporting type-inference and local
+theory targets.
 
-* New local theory targets for class instantiation and unrestricted
-overloading.
+* New local theory targets for class instantiation and overloading.
 
-* Support for dynamic lists of named theorems.
+* Support for named dynamic lists of theorems.
 
 * Significant speedup of Metis prover, with proper support for
 multithreading.
diff -r 4f75f2c58123 -r 4856b752a57c Admin/CHECKLIST
--- a/Admin/CHECKLIST	Wed May 28 23:33:51 2008 +0200
+++ b/Admin/CHECKLIST	Wed May 28 23:36:19 2008 +0200
@@ -7,9 +7,9 @@
 
 - check HTML header of library;
 
-- check CTRL-C, SIGINT in tty;
+- check CTRL-C, SIGINT in tty (also for external processes);
 
-- check persistent sessions with PG and Poly/ML 5.1/5.0;
+- check persistent sessions with PG and Poly/ML 5.x;
 
 - Admin/update-keywords;