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.