updated README;
authorwenzelm
Mon Aug 15 22:31:17 2011 +0200 (2011-08-15)
changeset 4420377881904ee91
parent 44202 44c4ae5c5ce2
child 44204 3cdc4176638c
updated README;
src/Tools/jEdit/README.html
     1.1 --- a/src/Tools/jEdit/README.html	Mon Aug 15 21:54:32 2011 +0200
     1.2 +++ b/src/Tools/jEdit/README.html	Mon Aug 15 22:31:17 2011 +0200
     1.3 @@ -122,9 +122,8 @@
     1.4    <li>No way to start/stop prover or switch to a different logic.<br/>
     1.5    <em>Workaround:</em> Change options and restart editor.</li>
     1.6  
     1.7 -  <li>Multiple theory buffers cannot depend on each other, imports are
     1.8 -  resolved via the file-system.<br/>
     1.9 -  <em>Workaround:</em> Save/reload files manually.</li>
    1.10 +  <li>Limited support for dependencies between multiple theory buffers.<br/>
    1.11 +  <em>Workaround:</em> Load required files manually.</li>
    1.12  
    1.13    <li>No reclaiming of old/unused document versions in prover or
    1.14    editor.<br/>