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 ***