--- 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 ***