--- 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:
--- a/NEWS Tue Jun 03 00:16:37 2008 +0200
+++ b/NEWS Tue Jun 03 00:20:22 2008 +0200
@@ -6,6 +6,9 @@
*** General ***
+* The Isabelle/Isar Reference Manual (isar-ref) has been reorganized
+and updated, with formally checked references as hyperlinks.
+
* Syntax: symbol \<chi> is now considered a letter. Potential
INCOMPATIBILITY in identifier syntax etc.