NEWS
changeset 61807 965769fe2b63
parent 61803 ba051060d46b
child 61823 5daa82ba4078
     1.1 --- a/NEWS	Mon Dec 07 16:44:26 2015 +0000
     1.2 +++ b/NEWS	Mon Dec 07 16:48:10 2015 +0000
     1.3 @@ -48,18 +48,27 @@
     1.4  * The main Isabelle executable is managed as single-instance Desktop
     1.5  application uniformly on all platforms: Linux, Windows, Mac OS X.
     1.6  
     1.7 -* The text overview column (status of errors, warnings etc.) is updated
     1.8 -asynchronously, leading to much better editor reactivity. Moreover, the
     1.9 -full document node content is taken into account.
    1.10 -
    1.11 -* The State panel manages explicit proof state output. The jEdit action
    1.12 -"isabelle.update-state" (shortcut S+ENTER) triggers manual update
    1.13 -according to cursor position.
    1.14 +* The State panel manages explicit proof state output, with dynamic
    1.15 +auto-update according to cursor movement. Alternatively, the jEdit
    1.16 +action "isabelle.update-state" (shortcut S+ENTER) triggers manual
    1.17 +update.
    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 +* The text overview column (status of errors, warnings etc.) is updated
    1.24 +asynchronously, leading to much better editor reactivity. Moreover, the
    1.25 +full document node content is taken into account. The width of the
    1.26 +column is scaled according to the main text area font, for improved
    1.27 +visibility.
    1.28 +
    1.29 +* The main text area no longer changes its color hue in outdated
    1.30 +situations. The text overview column takes over the role to indicate
    1.31 +unfinished edits in the PIDE pipeline. This avoids flashing text display
    1.32 +due to ad-hoc updates by auxiliary GUI components, such as the State
    1.33 +panel.
    1.34 +
    1.35  * Action "isabelle-emph" (with keyboard shortcut C+e LEFT) controls
    1.36  emphasized text style; the effect is visible in document output, not in
    1.37  the editor.
    1.38 @@ -588,8 +597,8 @@
    1.39  * Multivariate_Analysis/Cauchy_Integral_Thm: Complex path integrals, Cauchy's
    1.40  integral theorem, winding numbers and Cauchy's integral formula, ported from HOL Light
    1.41  
    1.42 -* Multivariate_Analysis: Added topological concepts such as connected components
    1.43 -and the inside or outside of a set.
    1.44 +* Multivariate_Analysis: Added topological concepts such as connected components,
    1.45 +homotopic paths and the inside or outside of a set.
    1.46  
    1.47  * Theory Library/Old_Recdef: discontinued obsolete 'defer_recdef'
    1.48  command. Minor INCOMPATIBILITY, use 'function' instead.