NEWS
changeset 68368 b00b40dc41af
parent 68364 5c579bb9adb1
child 68370 bcdc47c9d4af
     1.1 --- a/NEWS	Sun Jun 03 22:16:44 2018 +0200
     1.2 +++ b/NEWS	Sun Jun 03 22:18:27 2018 +0200
     1.3 @@ -71,6 +71,9 @@
     1.4  
     1.5  *** Isabelle/jEdit Prover IDE ***
     1.6  
     1.7 +* Slightly more parallel checking, notably for high priority print
     1.8 +functions (e.g. State output).
     1.9 +
    1.10  * The view title is set dynamically, according to the Isabelle
    1.11  distribution and the logic session name. The user can override this via
    1.12  set-view-title (stored persistently in $JEDIT_SETTINGS/perspective.xml).