more README;
authorwenzelm
Wed Sep 07 21:41:36 2011 +0200 (2011-09-07)
changeset 448063950842bb628
parent 44805 48a5c104d434
child 44807 44db3e309060
more README;
src/Tools/jEdit/README.html
     1.1 --- a/src/Tools/jEdit/README.html	Wed Sep 07 21:38:48 2011 +0200
     1.2 +++ b/src/Tools/jEdit/README.html	Wed Sep 07 21:41:36 2011 +0200
     1.3 @@ -144,6 +144,11 @@
     1.4    <em>Workaround:</em> Force re-parsing of files using such commands
     1.5    via reload menu of jEdit.</li>
     1.6  
     1.7 +  <li>No way to delete document nodes from the overall collection of
     1.8 +  theories.<br/>
     1.9 +  <em>Workaround:</em> Restart whole Isabelle/jEdit session in
    1.10 +  worst-case situation.</li>
    1.11 +
    1.12    <li>No support for non-local markup, e.g. commands reporting on
    1.13    previous commands (proof end on proof head), or markup produced by
    1.14    loading external files.</li>