# HG changeset patch
# User wenzelm
# Date 1359116473 -3600
# Node ID 0b48d00aba8f58efad68fe794ae4aa4572fbcfc1
# Parent  123be08eed88654bb032e1c334f40c7f281f728a
minimal updated of jEdit/README.html, without any substantial reforms;

diff -r 123be08eed88 -r 0b48d00aba8f src/Tools/jEdit/README.html
--- a/src/Tools/jEdit/README.html	Fri Jan 25 13:09:34 2013 +0100
+++ b/src/Tools/jEdit/README.html	Fri Jan 25 13:21:13 2013 +0100
@@ -23,7 +23,7 @@
 </p>
 
 <p>
-  <b>Isabelle/jEdit</b> is the main example application within the PIDE
+  <b>Isabelle/jEdit</b> is the flagship application of the PIDE
   framework &mdash; it illustrates many of the ideas in a realistic
   manner, ready to be used right now in Isabelle applications.
 </p>
@@ -67,6 +67,9 @@
 <li>Dockable panels (e.g. <em>Output</em>) are managed as independent
   windows by jEdit, which also allows multiple instances.</li>
 
+<li>Formal output (tooltips etc.) may be explored recursively, using the
+same techniques as in the editor source buffer.</li>
+
 <li>Prover process and source files are managed by the Isabelle/Scala on
 the editor side.  The prover experiences a mostly timeless and
 stateless environment of formal document content.</li>
@@ -103,6 +106,7 @@
 
   <li>Input methods:
     <ul>
+      <li>use the Symbols dockable</li>
       <li>copy/paste from decoded source files</li>
       <li>copy/paste from prover output</li>
       <li>completion provided by Isabelle plugin, e.g.<br/>