--- a/src/Tools/jEdit/README.html Mon Aug 15 21:54:32 2011 +0200
+++ b/src/Tools/jEdit/README.html Mon Aug 15 22:31:17 2011 +0200
@@ -122,9 +122,8 @@
<li>No way to start/stop prover or switch to a different logic.<br/>
<em>Workaround:</em> Change options and restart editor.</li>
- <li>Multiple theory buffers cannot depend on each other, imports are
- resolved via the file-system.<br/>
- <em>Workaround:</em> Save/reload files manually.</li>
+ <li>Limited support for dependencies between multiple theory buffers.<br/>
+ <em>Workaround:</em> Load required files manually.</li>
<li>No reclaiming of old/unused document versions in prover or
editor.<br/>