NEWS
changeset 68080 17f79ae49401
parent 68073 fad29d2a17a5
child 68100 b2d84b1114fa
     1.1 --- a/NEWS	Fri May 04 15:59:21 2018 +0200
     1.2 +++ b/NEWS	Fri May 04 16:22:09 2018 +0200
     1.3 @@ -71,6 +71,10 @@
     1.4  
     1.5  *** Isabelle/jEdit Prover IDE ***
     1.6  
     1.7 +* The view title is set dynamically, according to the Isabelle
     1.8 +distribution and the logic session name. The user can override this via
     1.9 +set-view-title (stored persistently in $JEDIT_SETTINGS/perspective.xml).
    1.10 +
    1.11  * System options "spell_checker_include" and "spell_checker_exclude"
    1.12  supersede former "spell_checker_elements" to determine regions of text
    1.13  that are subject to spell-checking. Minor INCOMPATIBILITY.