# HG changeset patch
# User wenzelm
# Date 1295446955 -3600
# Node ID 5bde4a5cc17228a0f97b2261ee76a96fc4922692
# Parent  f23ce44fbaec027f22350379833f343e4db79ecd# Parent  c15e7d36912a10253c6b6899c0990df9afad7b35
merged

diff -r f23ce44fbaec -r 5bde4a5cc172 NEWS
--- 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.