ANNOUNCE
author wenzelm
Thu, 22 Apr 2021 23:40:22 +0200
changeset 73858 37243ad3ecb6
parent 73478 030b930d1ac8
permissions -rw-r--r--
fast approximation of test for process group (NB: initial process might already be terminated, while background processes are still running);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
73250
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
     1
Subject: Announcing Isabelle2021
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     2
To: isabelle-users@cl.cam.ac.uk
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     3
73250
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
     4
Isabelle2021 is now available.
60117
5d90d301ad66 ANNOUNCE material, based on NEWS;
wenzelm
parents: 60019
diff changeset
     5
73250
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
     6
This version introduces many changes over Isabelle2020: see the NEWS
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
     7
file for further details. Here are various details:
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68392
diff changeset
     8
73250
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
     9
* Improved HTML presentation in Isabelle/Scala, using PIDE markup.
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
    10
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
    11
* Improved PDF document preparation in Isabelle/Scala, using LuaLaTeX.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68392
diff changeset
    12
73250
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
    13
* Isabelle/jEdit: improved monitoring of Java and ML process.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68392
diff changeset
    14
73402
wenzelm
parents: 73356
diff changeset
    15
* Isabelle/jEdit: improved look-and-feel and IDE feedback.
71698
29e297fd5473 updated for release;
wenzelm
parents: 70471
diff changeset
    16
73250
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
    17
* Pure: improved handling of named contexts and local syntax bundles.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68392
diff changeset
    18
73250
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
    19
* HOL: substantially reworked support for Word library.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68392
diff changeset
    20
73250
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
    21
* HOL: various syntax and library improvements.
71698
29e297fd5473 updated for release;
wenzelm
parents: 70471
diff changeset
    22
73250
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
    23
* HOL: various Sledgehammer and SMT improvements, with updated external tools.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68392
diff changeset
    24
73250
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
    25
* HOL: support for Nitpick/Kodkod in Isabelle/Scala.
68648
371e814af6f0 more ANNOUNCE;
wenzelm
parents: 68599
diff changeset
    26
73250
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
    27
* ML: routine support for Isabelle/Scala functions in Isabelle/ML.
68648
371e814af6f0 more ANNOUNCE;
wenzelm
parents: 68599
diff changeset
    28
73250
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
    29
* System: support for Isabelle/Scala services defined in user-space.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68392
diff changeset
    30
73478
030b930d1ac8 updated for release;
wenzelm
parents: 73402
diff changeset
    31
* Support for macOS Big Sur on Intel and Apple Silicon (ARM).
54034
07844b536810 some highlights of Isabelle2013-1 based on NEWS;
wenzelm
parents: 53978
diff changeset
    32
12983
7d13480ee668 more stuff;
wenzelm
parents: 12964
diff changeset
    33
73250
a569465f8b57 updated for release;
wenzelm
parents: 71704
diff changeset
    34
You may get Isabelle2021 from the following mirror sites:
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
    35
68599
cc7b5e0355a5 prefer HTTPS;
wenzelm
parents: 68567
diff changeset
    36
  Cambridge (UK)       https://www.cl.cam.ac.uk/research/hvg/Isabelle
cc7b5e0355a5 prefer HTTPS;
wenzelm
parents: 68567
diff changeset
    37
  Munich (Germany)     https://isabelle.in.tum.de
70214
0674c24afc5e updated for release;
wenzelm
parents: 68648
diff changeset
    38
  Sydney (Australia)   https://mirror.cse.unsw.edu.au/pub/isabelle
68599
cc7b5e0355a5 prefer HTTPS;
wenzelm
parents: 68567
diff changeset
    39
  Potsdam, NY (USA)    https://mirror.clarkson.edu/isabelle