tuned;
authorwenzelm
Sat Nov 21 20:19:20 2015 +0100 (2015-11-21)
changeset 6172930d4ccd54861
parent 61728 5f5ff1eab407
child 61730 2b775b888897
tuned;
NEWS
     1.1 --- a/NEWS	Sat Nov 21 20:13:52 2015 +0100
     1.2 +++ b/NEWS	Sat Nov 21 20:19:20 2015 +0100
     1.3 @@ -52,14 +52,13 @@
     1.4  asynchronously, leading to much better editor reactivity. Moreover, the
     1.5  full document node content is taken into account.
     1.6  
     1.7 -* The State panel manages explicit proof state output, with jEdit action
     1.8 -"isabelle.update-state" (shortcut S+ENTER) to trigger update according
     1.9 -to cursor position.
    1.10 -
    1.11 -* The Output panel no longer shows proof state output by default. This
    1.12 -reduces resource requirements of prover time and GUI space.
    1.13 -INCOMPATIBILITY, use the State panel instead or enable option
    1.14 -"editor_output_state".
    1.15 +* The State panel manages explicit proof state output. The jEdit action
    1.16 +"isabelle.update-state" (shortcut S+ENTER) triggers manual update
    1.17 +according to cursor position.
    1.18 +
    1.19 +* The Output panel no longer shows proof state output by default, to
    1.20 +avoid GUI overcrowding. INCOMPATIBILITY, use the State panel instead or
    1.21 +enable option "editor_output_state".
    1.22  
    1.23  * Action "isabelle-emph" (with keyboard shortcut C+e LEFT) controls
    1.24  emphasized text style; the effect is visible in document output, not in