# HG changeset patch
# User wenzelm
# Date 1295432876 -3600
# Node ID c15e7d36912a10253c6b6899c0990df9afad7b35
# Parent  9f99196ebd9f0b14a87011a30879f0f94b3010e5
tuned;

diff -r 9f99196ebd9f -r c15e7d36912a NEWS
--- a/NEWS	Tue Jan 18 21:33:07 2011 +0100
+++ b/NEWS	Wed Jan 19 11:27:56 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.