| Thu, 13 Jul 2023 13:04:15 +0200 | wenzelm | clarified session_statistics: removed somewhat pointless per-theory statistics; | changeset | files |
| Thu, 13 Jul 2023 10:36:27 +0200 | Fabian Huch | tuned error messages; | changeset | files |
| Thu, 13 Jul 2023 09:51:10 +0200 | Fabian Huch | more TOML formatting functions; | changeset | files |