NEWS
changeset 60072 dda1e781c7b4
parent 60025 d84b355f341f
child 60085 ef5ead433951
     1.1 --- a/NEWS	Tue Apr 14 22:50:11 2015 +0200
     1.2 +++ b/NEWS	Tue Apr 14 22:54:07 2015 +0200
     1.3 @@ -77,6 +77,9 @@
     1.4  * Old graph browser (Java/AWT 1.1) is superseded by improved graphview
     1.5  panel, which also produces PDF output without external tools.
     1.6  
     1.7 +* Improved scheduling for asynchronous print commands (e.g. provers
     1.8 +managed by the Sledgehammer panel) wrt. ongoing document processing.
     1.9 +
    1.10  
    1.11  *** Document preparation ***
    1.12