more README;
authorwenzelm
Tue Sep 06 21:40:58 2011 +0200 (2011-09-06)
changeset 447599572b6be1aab
parent 44758 deb929f002b8
child 44760 19e1c6e922b6
more README;
src/Tools/jEdit/README.html
     1.1 --- a/src/Tools/jEdit/README.html	Tue Sep 06 21:11:12 2011 +0200
     1.2 +++ b/src/Tools/jEdit/README.html	Tue Sep 06 21:40:58 2011 +0200
     1.3 @@ -139,6 +139,11 @@
     1.4    to a theory ("<b>uses</b>").<br/>
     1.5    <em>Workaround:</em> Re-use files manually within the prover.</li>
     1.6  
     1.7 +  <li>Crude management of new Isar commands that are defined within
     1.8 +  the running session.<br/>
     1.9 +  <em>Workaround:</em> Force re-parsing of files using such commands
    1.10 +  via reload menu of jEdit.</li>
    1.11 +
    1.12    <li>No support for non-local markup, e.g. commands reporting on
    1.13    previous commands (proof end on proof head), or markup produced by
    1.14    loading external files.</li>