--- a/NEWS Wed Jan 19 15:18:03 2011 +0100
+++ b/NEWS Wed Jan 19 15:22:35 2011 +0100
@@ -7,10 +7,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.