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.

• Isabelle2024-RC3 (02-May-2024): pre-final release candidate. See also AFP. Notable changes since RC2:
  • Update SystemOnTPTP URL for Sledegehammer.
  • Minor patch of E Prover 3.0.03 to make it work with Naproche.
  • Include Naproche component.
  • Minor update of documentation.
  • Revert post-release updates on HOL-Nominal.
  • Minor patch of jedit to avoid spurious ConcurrentModificationException of token cache.
  • More robust distributed build: always use database server, instead of experimental upload of log_db files.
  • Update of system manual, concerning global registry and fine-points of distributed isabelle build.