# HG changeset patch
# User wenzelm
# Date 1315338058 -7200
# Node ID 9572b6be1aab78d2b3d349d9e4d62ee9b14c97fd
# Parent  deb929f002b886545cbe144da0b4402a48eabc9e
more README;

diff -r deb929f002b8 -r 9572b6be1aab src/Tools/jEdit/README.html
--- a/src/Tools/jEdit/README.html	Tue Sep 06 21:11:12 2011 +0200
+++ b/src/Tools/jEdit/README.html	Tue Sep 06 21:40:58 2011 +0200
@@ -139,6 +139,11 @@
   to a theory ("<b>uses</b>").<br/>
   <em>Workaround:</em> Re-use files manually within the prover.</li>
 
+  <li>Crude management of new Isar commands that are defined within
+  the running session.<br/>
+  <em>Workaround:</em> Force re-parsing of files using such commands
+  via reload menu of jEdit.</li>
+
   <li>No support for non-local markup, e.g. commands reporting on
   previous commands (proof end on proof head), or markup produced by
   loading external files.</li>