1.1 --- a/NEWS	Wed Jan 19 15:18:03 2011 +0100
     1.2 +++ b/NEWS	Wed Jan 19 15:22:35 2011 +0100
     1.3 @@ -7,10 +7,12 @@
     1.4  *** General ***
     1.5  
     1.6  * Experimental Prover IDE based on Isabelle/Scala and jEdit (see
     1.7 -src/Tools/jEdit).  A bundled component provides "isabelle jedit" as
     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 +src/Tools/jEdit).  This also serves as IDE for Isabelle/ML, with
    1.12 +useful tooltips and hyperlinks produced from its static analysis.  The
    1.13 +bundled component provides an executable Isabelle tool that can be run
    1.14 +like this:
    1.15 +
    1.16 +  Isabelle2011/bin/isabelle jedit
    1.17  
    1.18  * Significantly improved Isabelle/Isar implementation manual.
    1.19