|
76108
|
1 |
Subject: Announcing Isabelle2022
|
|
9928
|
2 |
To: isabelle-users@cl.cam.ac.uk
|
|
|
3 |
|
|
76108
|
4 |
Isabelle2022 is now available.
|
|
60116
|
5 |
|
|
76108
|
6 |
This version introduces notable changes over Isabelle2021-1: see the
|
|
|
7 |
NEWS file for further details. Here are various details:
|
|
73010
|
8 |
|
|
76108
|
9 |
* HTML presentation is more robust and covers more files and links.
|
|
68545
|
10 |
|
|
76108
|
11 |
* Display of instantiation for schematic goals.
|
|
68545
|
12 |
|
|
76108
|
13 |
* PIDE: improved Isabelle/VSCode based on bundled VSCodium engine.
|
|
71485
|
14 |
|
|
76108
|
15 |
* HOL: various improvements of theory libraries.
|
|
68545
|
16 |
|
|
76108
|
17 |
* HOL: updates and improvements of Sledgehammer.
|
|
74651
|
18 |
|
|
76108
|
19 |
* HOL: improved simproc support for record types.
|
|
71485
|
20 |
|
|
76108
|
21 |
* ML: scalable type Bytes.T with support for XZ compression.
|
|
68545
|
22 |
|
|
76114
|
23 |
* System: bundled Node.js/Chromium/Electron platform (via VSCodium).
|
|
68648
|
24 |
|
|
76108
|
25 |
* System: Isabelle/Scala is based on Scala 3 (dotty compiler).
|
|
68648
|
26 |
|
|
76108
|
27 |
* System: tools to sync hg repositories, notably Isabelle + AFP.
|
|
68545
|
28 |
|
|
76108
|
29 |
* System: improved "isabelle log" tool with regex filtering.
|
|
54034
|
30 |
|
|
76155
|
31 |
* System: more robust SSH support in Isabelle/Scala.
|
|
|
32 |
|
|
12983
|
33 |
|
|
76108
|
34 |
You may get Isabelle2022 from the following mirror sites:
|
|
9928
|
35 |
|
|
68599
|
36 |
Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle
|
|
|
37 |
Munich (Germany) https://isabelle.in.tum.de
|
|
70032
|
38 |
Sydney (Australia) https://mirror.cse.unsw.edu.au/pub/isabelle
|
|
68599
|
39 |
Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle
|