# HG changeset patch
# User wenzelm
# Date 1359124123 -3600
# Node ID 7d0c5799e16c3eedd66cd32fddb5426f471b16ab
# Parent  0b48d00aba8f58efad68fe794ae4aa4572fbcfc1
tuned;

diff -r 0b48d00aba8f -r 7d0c5799e16c NEWS
--- 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