Subject: Announcing Isabelle2023
To: isabelle-users@cl.cam.ac.uk
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