ANNOUNCE

--- a/ANNOUNCE	Tue Jun 03 00:16:37 2008 +0200
+++ b/ANNOUNCE	Tue Jun 03 00:20:22 2008 +0200
@@ -23,6 +23,8 @@
 * Support for Poly/ML 5.2 with improved handling of multithreading and
 external processes.
 
+* Reorganized version of Isabelle/Isar Reference Manual.
+
 
 You may get Isabelle2008 from the following mirror sites: