NEWS;
authorwenzelm
Tue Apr 14 22:54:07 2015 +0200 (2015-04-14)
changeset 60072dda1e781c7b4
parent 60071 323feed18a92
child 60073 76a8400a58d9
NEWS;
NEWS
     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