| Thu, 24 Dec 2020 13:10:05 +0000 | paulson | Two biconditional simprules for summable | changeset | files |
| 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 |