src/Tools/jEdit/README.html

   </li>
 
 </ul>
 
 
-<h2>Limitations and workrounds (October 2011)</h2>
+<h2>Limitations and workrounds (March 2012)</h2>
 
 <ul>
   <li>No way to start/stop prover or switch to a different logic.<br/>
   <em>Workaround:</em> Change options and restart editor.</li>
 

   <em>Workaround:</em> Avoid such commands.</li>
 
   <li>Lack of dependency managed for auxiliary files that contribute
   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 way to delete document nodes from the overall collection of
   theories.<br/>
   <em>Workaround:</em> Restart whole Isabelle/jEdit session in
   worst-case situation.</li>