# HG changeset patch
# User wenzelm
# Date 1315424496 -7200
# Node ID 3950842bb62853877f32d95209fc01f5e43c67f4
# Parent  48a5c104d434746034a59ef33dc8caece696cc0a
more README;

diff -r 48a5c104d434 -r 3950842bb628 src/Tools/jEdit/README.html
--- 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>