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>