--- a/NEWS Fri Jan 28 11:26:08 2011 +1100
+++ b/NEWS Mon Jan 31 11:18:29 2011 +0100
@@ -12,10 +12,12 @@
*** General ***
* Experimental Prover IDE based on Isabelle/Scala and jEdit (see
-src/Tools/jEdit). A bundled component provides "isabelle jedit" as
-executable Isabelle tool. Note that this also serves as IDE for
-Isabelle/ML, with useful tooltips and hyperlinks produced from its
-static analysis.
+src/Tools/jEdit). This also serves as IDE for Isabelle/ML, with
+useful tooltips and hyperlinks produced from its static analysis. The
+bundled component provides an executable Isabelle tool that can be run
+like this:
+
+ Isabelle2011/bin/isabelle jedit
* Significantly improved Isabelle/Isar implementation manual.