Email Gateway (Sep 12 2023 at 16:56): Email Gateway (Sep 12 2023 at 16:56):From: Makarius <makarius@sketis.net>
Isabelle2023 is now available.
This version introduces notable changes over Isabelle2022: see the
NEWS file for further details. Here are various details:
Documents: interactive document preparation via Isabelle/jEdit panel.
Documents: demos for well-known LaTeX classes.
Documents: more formal LaTeX citations.
HOL: various improvements of theory libraries, notably in HOL-Analysis.
HOL: updates and improvements of Sledgehammer.
ML: more robust support for ARM64 platform (native Apple Silicon).
ML: heap usage and stored heap size has been significantly reduced.
ML: improved implementations of functor Table() and corresponding Set().
Scala and ML: support for Zstd compression.
System: more robust "isabelle sync" tool via bundled "rsync" executables.
System: "isabelle profiling" tool produces ML heap statistics.
System: experimental support for distributed build clusters.
You may get Isabelle2023 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://mirror.cse.unsw.edu.au/pub/isabelle
Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle
Last updated: Jan 04 2025 at 20:18 UTC