--- 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.
--- 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;