avoid conflict with slf4j from sqlite (see also dcddfe4f43a3), notably this message on "isabelle find_facts":
SLF4J(W): Class path contains multiple SLF4J providers.
SLF4J(W): Found provider [org.slf4j.nop.NOPServiceProvider@1576514a]
SLF4J(W): Found provider [org.apache.logging.slf4j.SLF4JServiceProvider@6a84d4e3]
SLF4J(W): See https://www.slf4j.org/codes.html#multiple_bindings for an explanation.
SLF4J(I): Actual provider is of type [org.slf4j.nop.NOPServiceProvider@1576514a]
Subject: Announcing Isabelle2024
To: isabelle-users@cl.cam.ac.uk
Isabelle2024 is now available.
This version introduces various changes over Isabelle2023: see the
NEWS file for further details. Here are various details:
* More robust and scalable support for distributed build clusters.
* Official support for ARM64 on Linux (notably Docker on Apple Silicon).
* HOL: various improvements of theory libraries, notably in HOL-Analysis.
* HOL: updates and improvements of Sledgehammer.
* ML: antiquotations for try-catch-finally.
* ML: physical interrupts are now distinguished from runtime system failures.
* System: support for global registry in TOML format.
* System: support the Go development environment (all platforms).
* System: bundled MLton now includes both Linux and macOS (Intel).
You may get Isabelle2024 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