The official Isabelle2024 release is scheduled for mid May 2024. This blog entry is dynamically updated to follow the sequence of public release candidates. See also the isabelle-release repository.

• Isabelle2024-RC0 (07-Mar-2024): informal snapshot for experimentation, approx. 4 weeks before regular RC1.

• Isabelle2024-RC1 (03-Apr-2024): first official release candidate, approx. 6 weeks before final lift-off. Almost everything is ready for testing. See also AFP/12db4a7858c0.

• Isabelle2024-RC2 (18-Apr-2024): further consolidated release candidate and fork-point of the development repository. See also AFP/d8aa8cc91178. Notable changes since RC1:
  • Generated Scala code now works both with scalac -old-syntax (Isabelle/Scala default) and scalac -new-syntax (Scala3 default).
  • LaTeX documentation for Nitpick and Sledgehammer now works with current MacTeX 2024 and forthcoming Ubuntu 24.04 LTS.
  • Fine-tuning of Isabelle/Scala, notably some modules behind isabelle build.
  • Last-minute add-ons and polishing for HOL libraries.
  • Update to current OpenJDK 21.0.3 with many small improvements, notably for macOS 14 Sonoma; see also the release notes for version 21.

TODO

• potential update of CVC4 to cvc5 (with support for linux_arm), if that is released on time
• potential update of E Prover 3.0.03 to 3.1.0 (01-May-2024), as required for Naproche
• alternative; use patched component e-3.0.03-1
• include Naproche component if that is finished on time
• update system manual, concerning global registry and fine-points of distributed isabelle build
• final tuning of Isabelle/Scala concerning distributed isabelle build