Sun, 02 Sep 2018 14:56:26 +0200 | wenzelm | more robust reset_state: begin/end structure takes precedence over goal/proof structure; | changeset | files |
Sun, 02 Sep 2018 14:14:43 +0200 | wenzelm | no reset_proof for notepad: begin/end structure takes precedence over goal/proof structure; | changeset | files |
Sun, 02 Sep 2018 13:53:55 +0200 | wenzelm | clarified signature; | changeset | files |
Sun, 02 Sep 2018 13:21:15 +0200 | wenzelm | tuned; | changeset | files |