--- a/src/Tools/jEdit/README.html Wed Sep 07 21:38:48 2011 +0200
+++ b/src/Tools/jEdit/README.html Wed Sep 07 21:41:36 2011 +0200
@@ -144,6 +144,11 @@
<em>Workaround:</em> Force re-parsing of files using such commands
via reload menu of jEdit.</li>
+ <li>No way to delete document nodes from the overall collection of
+ theories.<br/>
+ <em>Workaround:</em> Restart whole Isabelle/jEdit session in
+ worst-case situation.</li>
+
<li>No support for non-local markup, e.g. commands reporting on
previous commands (proof end on proof head), or markup produced by
loading external files.</li>