# HG changeset patch
# User wenzelm
# Date 1528057107 -7200
# Node ID b00b40dc41afb992f0c8fbe617404fda8095c1cd
# Parent  2549d7d4718acdf2de144bd8e337aea37c525ba0
NEWS;

diff -r 2549d7d4718a -r b00b40dc41af 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).