ANNOUNCE
author wenzelm
Sun, 07 Feb 2021 20:44:44 +0100
changeset 73232 030b930d1ac8
parent 73157 51c53a7c6473
permissions -rw-r--r--
updated for release;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
73010
a569465f8b57 updated for release;
wenzelm
parents: 71491
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
73010
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
     4
Isabelle2021 is now available.
60116
5d90d301ad66 ANNOUNCE material, based on NEWS;
wenzelm
parents: 60016
diff changeset
     5
73010
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
     6
This version introduces many changes over Isabelle2020: see the NEWS
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
     7
file for further details. Here are various details:
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
     8
73010
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
     9
* Improved HTML presentation in Isabelle/Scala, using PIDE markup.
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
    10
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
    11
* Improved PDF document preparation in Isabelle/Scala, using LuaLaTeX.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    12
73010
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
    13
* Isabelle/jEdit: improved monitoring of Java and ML process.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    14
73157
wenzelm
parents: 73112
diff changeset
    15
* Isabelle/jEdit: improved look-and-feel and IDE feedback.
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    16
73010
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
    17
* Pure: improved handling of named contexts and local syntax bundles.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    18
73010
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
    19
* HOL: substantially reworked support for Word library.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    20
73010
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
    21
* HOL: various syntax and library improvements.
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    22
73010
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
    23
* HOL: various Sledgehammer and SMT improvements, with updated external tools.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    24
73010
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
    25
* HOL: support for Nitpick/Kodkod in Isabelle/Scala.
68648
371e814af6f0 more ANNOUNCE;
wenzelm
parents: 68599
diff changeset
    26
73010
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
    27
* ML: routine support for Isabelle/Scala functions in Isabelle/ML.
68648
371e814af6f0 more ANNOUNCE;
wenzelm
parents: 68599
diff changeset
    28
73010
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
    29
* System: support for Isabelle/Scala services defined in user-space.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    30
73232
030b930d1ac8 updated for release;
wenzelm
parents: 73157
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
73010
a569465f8b57 updated for release;
wenzelm
parents: 71491
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
70032
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