NEWS;
authorwenzelm
Sun Jun 03 22:18:27 2018 +0200 (16 months ago)
changeset 68368b00b40dc41af
parent 68367 2549d7d4718a
child 68369 6989752bba4b
NEWS;
NEWS
     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).