# HG changeset patch
# User wenzelm
# Date 1295208630 -3600
# Node ID ced4f78bb7289c1c001a1652fd4f8a88e16b1120
# Parent  e424bc65080d5fd91094f81dd1a0f31a34c9b490
tuned;

diff -r e424bc65080d -r ced4f78bb728 NEWS
--- a/NEWS	Sun Jan 16 21:05:10 2011 +0100
+++ b/NEWS	Sun Jan 16 21:10:30 2011 +0100
@@ -8,7 +8,9 @@
 
 * Experimental Prover IDE based on Isabelle/Scala and jEdit (see
 src/Tools/jEdit).  A bundled component provides "isabelle jedit" as
-executable Isabelle tool.
+executable Isabelle tool.  Note that this also serves as IDE for
+Isabelle/ML, with useful tooltips and hyperlinks produced from its
+static analysis.
 
 * Significantly improved Isabelle/Isar implementation manual.