| Mon, 11 Mar 2024 21:46:31 +0100 | Simon Wimmer | sketch & explore: TODO comments are addressed in parent commits | changeset | files |
| Mon, 11 Mar 2024 21:11:23 +0100 | Simon Wimmer | sketch & explore: reduce unnecessary type constraints | changeset | files |
| Mon, 11 Mar 2024 21:20:36 +0100 | Simon Wimmer | sketch & explore: replace functionality of `sketch` by more useful `nxsketch` (and remove `nxsketch`) | changeset | files |
| Mon, 11 Mar 2024 21:31:18 +0100 | Simon Wimmer | sketch & explore: use Active.sendback_markup_command to preserve indentation of generated proof text | changeset | files |
| Fri, 15 Mar 2024 17:57:03 +0100 | Fabian Huch | change benchmark session to FOLP-ex (faster and less mean squared error than ZF-Constructible); | changeset | files |
| Thu, 14 Mar 2024 18:08:42 +0100 | Fabian Huch | unused; | changeset | files |
| Thu, 14 Mar 2024 17:27:40 +0100 | Fabian Huch | tuned; | changeset | files |
| Thu, 14 Mar 2024 17:19:01 +0100 | Fabian Huch | proper IPC for scheduled builds, following 7ae25372ab04; | changeset | files |