# HG changeset patch
# User wenzelm
# Date 1429044847 -7200
# Node ID dda1e781c7b48fc752080a79035b4eb185eb59a5
# Parent  323feed18a92fec873c0b6d47b256e4c01cfe942
NEWS;

diff -r 323feed18a92 -r dda1e781c7b4 NEWS
--- a/NEWS	Tue Apr 14 22:50:11 2015 +0200
+++ b/NEWS	Tue Apr 14 22:54:07 2015 +0200
@@ -77,6 +77,9 @@
 * Old graph browser (Java/AWT 1.1) is superseded by improved graphview
 panel, which also produces PDF output without external tools.
 
+* Improved scheduling for asynchronous print commands (e.g. provers
+managed by the Sledgehammer panel) wrt. ongoing document processing.
+
 
 *** Document preparation ***