| Fri, 27 Jul 2018 17:32:16 +0200 | wenzelm | proper adjust_maxidx: assms could have maxidx >= 0, e.g. from command "subgoal premises"; | changeset | files |
| Fri, 27 Jul 2018 17:27:42 +0200 | wenzelm | proper maxidx: if x does not occur in A, its maxidx could get lost; | changeset | files |
| Fri, 27 Jul 2018 16:21:09 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 26 Jul 2018 15:19:56 +0200 | wenzelm | more flexible session selection as in "isabelle jedit"; | changeset | files |