NEWS;
authorwenzelm
Wed Apr 15 21:20:37 2015 +0200 (2015-04-15)
changeset 60085ef5ead433951
parent 60084 2a066431a814
child 60086 7bae727b7d89
NEWS;
NEWS
     1.1 --- a/NEWS	Wed Apr 15 21:20:27 2015 +0200
     1.2 +++ b/NEWS	Wed Apr 15 21:20:37 2015 +0200
     1.3 @@ -74,8 +74,10 @@
     1.4  * Less waste of vertical space via negative line spacing (see Global
     1.5  Options / Text Area).
     1.6  
     1.7 -* Old graph browser (Java/AWT 1.1) is superseded by improved graphview
     1.8 -panel, which also produces PDF output without external tools.
     1.9 +* Improved graphview panel (with optional output of PNG or PDF)
    1.10 +supersedes the old graph browser from 1996, but the latter remains
    1.11 +available for some time as a fall-back. The old browser is still
    1.12 +required for the massive graphs produced by 'thm_deps', for example.
    1.13  
    1.14  * Improved scheduling for asynchronous print commands (e.g. provers
    1.15  managed by the Sledgehammer panel) wrt. ongoing document processing.