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 |