--- a/NEWS Fri Jan 25 13:21:13 2013 +0100
+++ b/NEWS Fri Jan 25 15:28:43 2013 +0100
@@ -34,8 +34,8 @@
* Updated and extended "isar-ref" and "implementation" manual, reduced
remaining material in old "ref" manual.
-* Improved support for auxiliary contexts indicate block structure for
-specifications: nesting of "context fixes ... context assumes ..."
+* Improved support for auxiliary contexts that indicate block structure
+for specifications. Nesting of "context fixes ... context assumes ..."
and "class ... context ...".
* Attribute "consumes" allows a negative value as well, which is
@@ -286,7 +286,6 @@
INCOMPATIBILITY.
-
* New theory Library/Countable_Set.
* Theory Library/Debug and Library/Parallel provide debugging and