changeset 68368 | b00b40dc41af |
parent 68364 | 5c579bb9adb1 |
child 68370 | bcdc47c9d4af |
--- a/NEWS Sun Jun 03 22:16:44 2018 +0200 +++ b/NEWS Sun Jun 03 22:18:27 2018 +0200 @@ -71,6 +71,9 @@ *** Isabelle/jEdit Prover IDE *** +* Slightly more parallel checking, notably for high priority print +functions (e.g. State output). + * 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).