ANNOUNCE
author wenzelm
Sun, 06 Nov 2022 12:20:38 +0100
changeset 76469 98cfe33db5a7
parent 76155 6149f7553ea9
child 78293 01060d86b040
permissions -rw-r--r--
further attempts to confine dotnet to $ISABELLE_HOME_USER;

Subject: Announcing Isabelle2022
To: isabelle-users@cl.cam.ac.uk

Isabelle2022 is now available.

This version introduces notable changes over Isabelle2021-1: see the
NEWS file for further details. Here are various details:

* HTML presentation is more robust and covers more files and links.

* Display of instantiation for schematic goals.

* PIDE: improved Isabelle/VSCode based on bundled VSCodium engine.

* HOL: various improvements of theory libraries.

* HOL: updates and improvements of Sledgehammer.

* HOL: improved simproc support for record types.

* ML: scalable type Bytes.T with support for XZ compression.

* System: bundled Node.js/Chromium/Electron platform (via VSCodium).

* System: Isabelle/Scala is based on Scala 3 (dotty compiler).

* System: tools to sync hg repositories, notably Isabelle + AFP.

* System: improved "isabelle log" tool with regex filtering.

* System: more robust SSH support in Isabelle/Scala.


You may get Isabelle2022 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