# HG changeset patch
# User wenzelm
# Date 1429125637 -7200
# Node ID ef5ead433951bf59f6c4cf4930b8cd1e207836b4
# Parent  2a066431a814b64cf32bbd6d5b05089b2cb0477b
NEWS;

diff -r 2a066431a814 -r ef5ead433951 NEWS
--- a/NEWS	Wed Apr 15 21:20:27 2015 +0200
+++ b/NEWS	Wed Apr 15 21:20:37 2015 +0200
@@ -74,8 +74,10 @@
 * Less waste of vertical space via negative line spacing (see Global
 Options / Text Area).
 
-* Old graph browser (Java/AWT 1.1) is superseded by improved graphview
-panel, which also produces PDF output without external tools.
+* Improved graphview panel (with optional output of PNG or PDF)
+supersedes the old graph browser from 1996, but the latter remains
+available for some time as a fall-back. The old browser is still
+required for the massive graphs produced by 'thm_deps', for example.
 
 * Improved scheduling for asynchronous print commands (e.g. provers
 managed by the Sledgehammer panel) wrt. ongoing document processing.