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 @@
No way to start/stop prover or switch to a different logic.
Workaround: Change options and restart editor.
- Multiple theory buffers cannot depend on each other, imports are
- resolved via the file-system.
- Workaround: Save/reload files manually.
+ Limited support for dependencies between multiple theory buffers.
+ Workaround: Load required files manually.
No reclaiming of old/unused document versions in prover or
editor.