Email Gateway (Dec 17 2025 at 20:28): Email Gateway (Dec 17 2025 at 20:28):From: Makarius <makarius@sketis.net>
Isabelle2025-1 is now available.
This version introduces many changes over Isabelle2025: see the
NEWS file for further details. Here are notable details:
PIDE: load markup from background session image (e.g. theory "HOL.Nat").
Isabelle/jEdit: support for command-line system options ("-o").
Isabelle/jEdit: support for dark mode and screen readers.
Isabelle/jEdit: built-in navigator, without requiring plugins.
Isabelle/jEdit: more reactive mouse handling, notably on macOS.
Isabelle/jEdit: updated FlatLaf GUI L&F with scalable SVG icons.
Isabelle/jEdit: improved appearance on Linux (GUI scaling) and macOS (L&F).
Isabelle/VSCode: more robust session build process on console.
Isabelle/VSCode: GUI panels for Documentation, Symbols, Sledgehammer.
Isabelle/VSCode: update of underlying VSCodium distribution.
HOL: various improvements of theory libraries.
HOL: various improvements to code generation.
HOL: updates and improvements of Sledgehammer and external provers.
HOL: generation of running time functions for HOL functions.
System: ML settings may depend on command-line system options ("-o").
System: command-line tool to process theories within adhoc session.
System: more detailed build progress.
System: more robust build cluster management.
You may get Isabelle2025-1 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 (Dec 18 2025 at 11:10):From: Lawrence Paulson <lp15@cam.ac.uk>
Potsdam (??), NY has now been updated.
On 17 Dec 2025, at 20:28, Makarius <makarius@sketis.net> wrote:
You may get Isabelle2025-1 from the following mirror sites:
Email Gateway (Dec 18 2025 at 11:21):From: Makarius <makarius@sketis.net>
On 18/12/2025 12:09, Lawrence Paulson wrote:
Potsdam (??), NY has now been updated.
Great, so everything is finished for this release.
The Potsdam above is this one https://www.clarkson.edu/about/visit/potsdam and
not this one https://www.potsdam.de/en/discover-potsdam
Makarius
Last updated: Dec 21 2025 at 20:24 UTC