Email Gateway (Oct 25 2026 at 13:54): Email Gateway (Oct 25 2026 at 13:54):From: Makarius <makarius@sketis.net>
Isabelle2026 is now available.
This version introduces many changes over Isabelle2025-2: see the
NEWS file for further details. Here are notable details:
Support for inlined theory options and conditional developments.
Improved support for Apple Silicon, without Intel emulation.
Improved control over prover output in batch-builds.
Many Isabelle/jEdit improvements, notably for Accessibility (NVDA).
Many Isabelle/VSCode improvements, notably HTML-based GUI via Scala.js.
HOL: various improvements to code generation.
HOL: various improvements of theory libraries, notably HOL-Analysis.
HOL: additional library material, notably HOL-New_Algebra.
HOL: updates and improvements of Sledgehammer and external provers.
HOL: various improvements of SMT support, with cvc5 proof reconstruction.
ML: 64_32 mode now supports 32 GiB heap instead of 16 GiB.
ML: sanity checks for string literals vs. formal names.
ML: minor improvements of kernel integrity.
System: improved logging of Isabelle/Scala and Isabelle/ML.
System: support for Scala.js with many Isabelle/Scala modules.
You may get Isabelle2026 from the following mirror sites:
Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle
Munich (Germany) https://isabelle.in.tum.de
Sydney (Australia) https://proofcraft.systems/isabelle/index.html
Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle
Email Gateway (Oct 26 2026 at 10:56):From: Pasquale Noce <pasquale.noce.lavoro@gmail.com>
Dear Makarius,
I am afraid that the download link for Windows on https://isabelle.in.tum.de/
is not working, and I doubt whether any more links may be affected by the same
issue.
Best regards,
Pasquale
Email Gateway (Oct 26 2026 at 12:23):From: Makarius <makarius@sketis.net>
On 26/10/2026 11:56, Pasquale Noce wrote:
I am afraid that the download link for Windows on https://isabelle.in.tum.de/
is not working, and I doubt whether any more links may be affected by the same
issue.
Can you try another mirror? The Munich website is sometimes does not respond.
(I did try all downloads, but not all combinations of mirrors vs. downloads.)
Makarius
Email Gateway (Oct 26 2026 at 12:34):From: Gergely Buday <cl-isabelle-users@lists.cam.ac.uk>
On Mon, 26 Oct 2026 at 12:23, Makarius <makarius@sketis.net> wrote:
On 26/10/2026 11:56, Pasquale Noce wrote:
I am afraid that the download link for Windows on https://isabelle.in.tum.de/
is not working, and I doubt whether any more links may be affected by the same
issue.
Can you try another mirror? The Munich website is sometimes does not respond.(I did try all downloads, but not all combinations of mirrors vs. downloads.)
The Linux download link also didn't work at TUM, I guess the server
was overwhelmed with requests. The Cambridge mirror just worked fine.
Last updated: Oct 29 2026 at 04:52 UTC