| Thu, 24 Dec 2020 14:24:10 +0100 | wenzelm | updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin; | changeset | files |
| Thu, 24 Dec 2020 14:03:15 +0100 | wenzelm | support ISABELLE_APPLE_PLATFORM64 (Apple Silicon); | changeset | files |
| Thu, 24 Dec 2020 13:03:51 +0100 | wenzelm | more robust: clarified error when merging Hoare_Logic + Hoare_Logic_Abort; | changeset | files |