--- a/NEWS Fri May 04 15:59:21 2018 +0200
+++ b/NEWS Fri May 04 16:22:09 2018 +0200
@@ -71,6 +71,10 @@
*** Isabelle/jEdit Prover IDE ***
+* The view title is set dynamically, according to the Isabelle
+distribution and the logic session name. The user can override this via
+set-view-title (stored persistently in $JEDIT_SETTINGS/perspective.xml).
+
* System options "spell_checker_include" and "spell_checker_exclude"
supersede former "spell_checker_elements" to determine regions of text
that are subject to spell-checking. Minor INCOMPATIBILITY.