--- a/NEWS Wed Feb 15 17:49:03 2012 +0100
+++ b/NEWS Wed Feb 15 19:31:27 2012 +0100
@@ -11,6 +11,9 @@
- markup for bound variables
- markup for types of term variables (e.g. displayed as tooltips)
+* Updated and extended reference manuals ("isar-ref" and
+"implementation"); reduced remaining material in old "ref" manual.
+
* Rule attributes in local theory declarations (e.g. locale or class)
are now statically evaluated: the resulting theorem is stored instead
of the original expression. INCOMPATIBILITY in rare situations, where