| Wed, 08 Jul 2015 21:33:00 +0200 | wenzelm | clarified context; | changeset | files |
| Wed, 08 Jul 2015 19:28:43 +0200 | wenzelm | Variable.focus etc.: optional bindings provided by user; | changeset | files |
| Wed, 08 Jul 2015 15:37:32 +0200 | wenzelm | clarified text folds: proof ... qed counts as extra block; | changeset | files |
| Wed, 08 Jul 2015 14:30:00 +0200 | wenzelm | more accurate skip_proofs nesting, e.g. relevant for 'subgoal' command; | changeset | files |