| Fri, 25 Aug 2023 20:35:28 +0200 | wenzelm | support for Host.dirs; | changeset | files |
| Fri, 25 Aug 2023 20:10:53 +0200 | wenzelm | tuned message: failure can happen towards the end, e.g. due to failed sessions or progress.stopped; | changeset | files |
| Fri, 25 Aug 2023 20:08:32 +0200 | wenzelm | support multiple host names; | changeset | files |
| Fri, 25 Aug 2023 15:31:14 +0200 | wenzelm | clarified default options: SQLite build_database is unsupported for Isabelle2023, due to lack of proper transaction_lock; | changeset | files |
| Fri, 25 Aug 2023 11:31:24 +0200 | blanchet | avoid using FOOL syntax with older Vampire versions because of soundness bug visible by passing 'Abs_unit_cases Rep_unit Rep_unit_cases' as the facts to Sledgehammer | changeset | files |
| Fri, 25 Aug 2023 13:56:00 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 23 Aug 2023 16:04:04 +0200 | wenzelm | tuned; | changeset | files |