| Wed, 16 Aug 2023 14:50:17 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 16 Aug 2023 14:42:43 +0200 | wenzelm | build_worker is stopped independently from master build_process; | changeset | files |
| Sun, 13 Aug 2023 19:27:58 +0200 | wenzelm | clarified command arguments: optionally restrict to given theories (from theory loader); | changeset | files |