1.1 --- a/NEWS	Fri Jan 25 13:21:13 2013 +0100
     1.2 +++ b/NEWS	Fri Jan 25 15:28:43 2013 +0100
     1.3 @@ -34,8 +34,8 @@
     1.4  * Updated and extended "isar-ref" and "implementation" manual, reduced
     1.5  remaining material in old "ref" manual.
     1.6  
     1.7 -* Improved support for auxiliary contexts indicate block structure for
     1.8 -specifications: nesting of "context fixes ... context assumes ..."
     1.9 +* Improved support for auxiliary contexts that indicate block structure
    1.10 +for specifications.  Nesting of "context fixes ... context assumes ..."
    1.11  and "class ... context ...".
    1.12  
    1.13  * Attribute "consumes" allows a negative value as well, which is
    1.14 @@ -286,7 +286,6 @@
    1.15  
    1.16  INCOMPATIBILITY.
    1.17  
    1.18 -
    1.19  * New theory Library/Countable_Set.
    1.20  
    1.21  * Theory Library/Debug and Library/Parallel provide debugging and