| Sun, 02 Sep 2018 20:37:38 +0200 | wenzelm | clarified bracketing of messages: [forked [running finished] joined]; | changeset | files |
| Sun, 02 Sep 2018 20:10:53 +0200 | wenzelm | NEWS; | changeset | files |
| Sun, 02 Sep 2018 19:48:15 +0200 | wenzelm | clarified reset_notepad; | changeset | files |
| 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 |