NEWS;

--- a/NEWS	Tue Jan 06 22:34:26 2015 +0100
+++ b/NEWS	Tue Jan 06 22:48:34 2015 +0100
@@ -30,6 +30,9 @@
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
+* Old graph browser (Java/AWT 1.0) is superseded by improved graphview
+panel, which also includes PDF output.
+
 * Improved folding mode "isabelle" based on Isar syntax.
 Alternatively, the "sidekick" mode may be used for document structure.