# HG changeset patch
# User wenzelm
# Date 1420580914 -3600
# Node ID 9479766b94180fdd444dceed03395fc75691dc52
# Parent  b5d1b8175b8e936bdd4ff721da9b8b5a97d66119
NEWS;

diff -r b5d1b8175b8e -r 9479766b9418 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.