# HG changeset patch
# User wenzelm
# Date 1212445222 -7200
# Node ID a057cb0d7d55656ab183ab9ae63dd021dd823bfa
# Parent  f65e5d912d60c4a97883f25e44041adc4676ef16
reorganized isar-ref;

diff -r f65e5d912d60 -r a057cb0d7d55 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:
 
diff -r f65e5d912d60 -r a057cb0d7d55 NEWS
--- 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.