1.1 --- a/NEWS Fri Oct 12 21:51:25 2012 +0200
1.2 +++ b/NEWS Fri Oct 12 22:10:45 2012 +0200
1.3 @@ -9,6 +9,7 @@
1.4 * Prover IDE (PIDE) improvements:
1.5 . parallel terminal proofs ('by');
1.6 . improved output panel with tooltips, hyperlinks etc.;
1.7 + . improved tooltips with nested tooltips, hyperlinks etc.;
1.8 . more efficient painting, improved reactivity;
1.9 . more robust incremental parsing of outer syntax (partial
1.10 comments, malformed symbols);
1.11 @@ -36,6 +37,10 @@
1.12 * Updated and extended "isar-ref" manual, reduced remaining material
1.13 in old "ref" manual.
1.14
1.15 +* Improved support for auxiliary contexts indicate block structure for
1.16 +specifications: nesting of "context fixes ... context assumes ..."
1.17 +and "class ... context ...".
1.18 +
1.19
1.20 *** Pure ***
1.21