NEWS
changeset 49841 18cb42182d3e
parent 49836 c13b39542972
child 49869 bd370af308f0
     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