# HG changeset patch
# User wenzelm
# Date 1212494666 -7200
# Node ID dbf97292e5fd7098754d1e837bfd162f56655ebc
# Parent  f68aa7b5a0f3fa290841b83c2fe9d3ccb6bf1aa7
some fine-tuning;

diff -r f68aa7b5a0f3 -r dbf97292e5fd ANNOUNCE
--- a/ANNOUNCE	Tue Jun 03 13:17:11 2008 +0200
+++ b/ANNOUNCE	Tue Jun 03 14:04:26 2008 +0200
@@ -6,16 +6,19 @@
 This release consolidates Isabelle2007, see the NEWS file in the
 distribution for more details.  Some notable improvements are:
 
-* New version of HOL 'primrec' supporting type-inference and local
-theory targets.
+* HOL: significant speedup of Metis prover; proper support for
+multithreading.
+
+* HOL: new version of 'primrec' command supporting type-inference and
+local theory targets.
+
+* HOL: improved support for termination proofs of recursive function
+definitions.
 
 * New local theory targets for class instantiation and overloading.
 
 * Support for named dynamic lists of theorems.
 
-* Significant speedup of Metis prover, with proper support for
-multithreading.
-
 * Simple TTY interface with command-line editing.
 
 * Improved support for the Cygwin platform (Windows).
@@ -23,7 +26,7 @@
 * Support for Poly/ML 5.2 with improved handling of multithreading and
 external processes.
 
-* Reorganized version of Isabelle/Isar Reference Manual.
+* Reorganized and updated version of Isabelle/Isar Reference Manual.
 
 
 You may get Isabelle2008 from the following mirror sites: