# HG changeset patch
# User wenzelm
# Date 1380047054 -7200
# Node ID c7707223d782945a4cfa00b1aaa92cc60da3d985
# Parent  86c8f15afd88324e5f2b1002c376e061310139cd
NEWS;

diff -r 86c8f15afd88 -r c7707223d782 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