Summary
- merged
- merged
- Two biconditional simprules for summable
- updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin;
- support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
- more robust: clarified error when merging Hoare_Logic + Hoare_Logic_Abort;
- more robust components_base: avoid fragile directory links on Windows (or Cygwin);
The file was modified | src/HOL/Series.thy (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
The file was modified | src/Pure/Admin/build_sqlite.scala (diff) |
The file was modified | lib/scripts/isabelle-platform (diff) |
The file was modified | src/HOL/Hoare/hoare_syntax.ML (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |