# HG changeset patch
# User wenzelm
# Date 1313440277 -7200
# Node ID 77881904ee91d3945b5b095c83bdb67ed2a0eeb0
# Parent  44c4ae5c5ce256fba63f49d8ba45a7afca7b080d
updated README;

diff -r 44c4ae5c5ce2 -r 77881904ee91 src/Tools/jEdit/README.html
--- 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/>