| Thu, 09 Jul 2015 00:40:57 +0200 | wenzelm | tuned proofs; | changeset | files |
| Thu, 09 Jul 2015 00:39:49 +0200 | wenzelm | clarified context; | changeset | files |
| 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 |
| Wed, 08 Jul 2015 12:09:44 +0200 | wenzelm | tuned; | changeset | files |