equal
deleted
inserted
replaced
137 |
137 |
138 <li>Lack of dependency managed for auxiliary files that contribute |
138 <li>Lack of dependency managed for auxiliary files that contribute |
139 to a theory ("<b>uses</b>").<br/> |
139 to a theory ("<b>uses</b>").<br/> |
140 <em>Workaround:</em> Re-use files manually within the prover.</li> |
140 <em>Workaround:</em> Re-use files manually within the prover.</li> |
141 |
141 |
|
142 <li>Crude management of new Isar commands that are defined within |
|
143 the running session.<br/> |
|
144 <em>Workaround:</em> Force re-parsing of files using such commands |
|
145 via reload menu of jEdit.</li> |
|
146 |
142 <li>No support for non-local markup, e.g. commands reporting on |
147 <li>No support for non-local markup, e.g. commands reporting on |
143 previous commands (proof end on proof head), or markup produced by |
148 previous commands (proof end on proof head), or markup produced by |
144 loading external files.</li> |
149 loading external files.</li> |
145 |
150 |
146 <li>General lack of various conveniences known from Proof |
151 <li>General lack of various conveniences known from Proof |