NEWS
changeset 60089 8bd5999133d4
parent 60085 ef5ead433951
child 60093 c48d536231fe
     1.1 --- a/NEWS	Wed Apr 15 22:27:31 2015 +0200
     1.2 +++ b/NEWS	Thu Apr 16 11:22:36 2015 +0200
     1.3 @@ -74,10 +74,8 @@
     1.4  * Less waste of vertical space via negative line spacing (see Global
     1.5  Options / Text Area).
     1.6  
     1.7 -* Improved graphview panel (with optional output of PNG or PDF)
     1.8 -supersedes the old graph browser from 1996, but the latter remains
     1.9 -available for some time as a fall-back. The old browser is still
    1.10 -required for the massive graphs produced by 'thm_deps', for example.
    1.11 +* Improved graphview panel with optional output of PNG or PDF, for
    1.12 +display of 'thy_deps', 'locale_deps', 'class_deps' etc.
    1.13  
    1.14  * Improved scheduling for asynchronous print commands (e.g. provers
    1.15  managed by the Sledgehammer panel) wrt. ongoing document processing.