ANNOUNCE
author wenzelm
Wed, 03 Apr 2024 11:11:23 +0200
changeset 80079 01ddd3c203da
parent 78589 dccfe13878a5
child 80080 6e7f266b9ac2
permissions -rw-r--r--
Added tag Isabelle2024-RC1 for changeset 1231a7fb2510

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