1.1 --- a/src/Tools/jEdit/README.html	Fri Jan 25 13:09:34 2013 +0100
     1.2 +++ b/src/Tools/jEdit/README.html	Fri Jan 25 13:21:13 2013 +0100
     1.3 @@ -23,7 +23,7 @@
     1.4  </p>
     1.5  
     1.6  <p>
     1.7 -  <b>Isabelle/jEdit</b> is the main example application within the PIDE
     1.8 +  <b>Isabelle/jEdit</b> is the flagship application of the PIDE
     1.9    framework &mdash; it illustrates many of the ideas in a realistic
    1.10    manner, ready to be used right now in Isabelle applications.
    1.11  </p>
    1.12 @@ -67,6 +67,9 @@
    1.13  <li>Dockable panels (e.g. <em>Output</em>) are managed as independent
    1.14    windows by jEdit, which also allows multiple instances.</li>
    1.15  
    1.16 +<li>Formal output (tooltips etc.) may be explored recursively, using the
    1.17 +same techniques as in the editor source buffer.</li>
    1.18 +
    1.19  <li>Prover process and source files are managed by the Isabelle/Scala on
    1.20  the editor side.  The prover experiences a mostly timeless and
    1.21  stateless environment of formal document content.</li>
    1.22 @@ -103,6 +106,7 @@
    1.23  
    1.24    <li>Input methods:
    1.25      <ul>
    1.26 +      <li>use the Symbols dockable</li>
    1.27        <li>copy/paste from decoded source files</li>
    1.28        <li>copy/paste from prover output</li>
    1.29        <li>completion provided by Isabelle plugin, e.g.<br/>