more NEWS;
authorwenzelm
Fri Oct 12 22:10:45 2012 +0200 (2012-10-12)
changeset 4984118cb42182d3e
parent 49840 2328a5197e77
child 49842 a974f66062c8
more NEWS;
NEWS
     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