| Mon, 21 Sep 2015 15:55:29 +0200 | wenzelm | support for auto update via caret focus; | changeset | files |
| Mon, 21 Sep 2015 15:07:23 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 21 Sep 2015 14:56:55 +0200 | wenzelm | separate panel for proof state output; | changeset | files |