Subject: Announcing Isabelle2023To: isabelle-users@cl.cam.ac.ukIsabelle2023 is now available.This version introduces notable changes over Isabelle2022: see theNEWS 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: 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.* Support for the Dotnet platform (.NET) and Fsharp (F#).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