NEWS;

--- a/NEWS	Tue Sep 24 19:57:44 2013 +0200
+++ b/NEWS	Tue Sep 24 20:24:14 2013 +0200
@@ -57,6 +57,9 @@
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
+* Separate manual "jedit" for Isabelle/jEdit, see isabelle doc or
+Documentation panel.
+
 * Improved "Theories" panel: Continuous checking of proof document
 (visible and required parts) may be controlled explicitly, using check
 box or shortcut "C+e ENTER".  Individual theory nodes may be marked