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