NEWS;

--- 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).