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