| Thu, 24 Dec 2020 15:40:57 +0000 | paulson | merged | changeset | files |
| Thu, 24 Dec 2020 13:10:18 +0000 | paulson | merged | changeset | files |
| 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 |
| Thu, 24 Dec 2020 13:03:51 +0100 | wenzelm | more robust: clarified error when merging Hoare_Logic + Hoare_Logic_Abort; | changeset | files |
| Thu, 24 Dec 2020 12:58:25 +0100 | wenzelm | more robust components_base: avoid fragile directory links on Windows (or Cygwin); | changeset | files |