# HG changeset patch
# User wenzelm
# Date 1350072645 -7200
# Node ID 18cb42182d3e5fcc4622a742d5d80d0e3c524e0e
# Parent  2328a5197e77830020a94b10da9eb3b03794eaa7
more NEWS;

diff -r 2328a5197e77 -r 18cb42182d3e NEWS
--- a/NEWS	Fri Oct 12 21:51:25 2012 +0200
+++ b/NEWS	Fri Oct 12 22:10:45 2012 +0200
@@ -9,6 +9,7 @@
 * Prover IDE (PIDE) improvements:
     . parallel terminal proofs ('by');
     . improved output panel with tooltips, hyperlinks etc.;
+    . improved tooltips with nested tooltips, hyperlinks etc.;
     . more efficient painting, improved reactivity;
     . more robust incremental parsing of outer syntax (partial
       comments, malformed symbols);
@@ -36,6 +37,10 @@
 * Updated and extended "isar-ref" manual, reduced remaining material
 in old "ref" manual.
 
+* Improved support for auxiliary contexts indicate block structure for
+specifications: nesting of "context fixes ... context assumes ..."
+and "class ... context ...".
+
 
 *** Pure ***