Wed, 01 Jul 2015 21:57:21 +0200 | wenzelm | proper state after qed; | changeset | files |
Wed, 01 Jul 2015 21:48:46 +0200 | wenzelm | clarified keyword categories; | changeset | files |
Wed, 01 Jul 2015 21:29:57 +0200 | wenzelm | support for subgoal focus command; | changeset | files |