ANNOUNCE
author paulson <lp15@cam.ac.uk>
Thu, 17 Sep 2020 18:48:06 +0100
changeset 72266 1e02b86eb517
parent 71491 0a20dd339a05
permissions -rw-r--r--
de-applying
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
     1
Subject: Announcing Isabelle2020
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     2
To: isabelle-users@cl.cam.ac.uk
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     3
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
     4
Isabelle2020 is now available.
60116
5d90d301ad66 ANNOUNCE material, based on NEWS;
wenzelm
parents: 60016
diff changeset
     5
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
     6
This version introduces many changes over Isabelle2019: see the NEWS
68567
wenzelm
parents: 68560
diff changeset
     7
file for further details. Here are some notable points:
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
     8
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
     9
* PIDE: much faster startup of Isabelle/jEdit thanks to more scalable
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    10
session directory structure.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    11
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    12
* PIDE: updated Isabelle/VSCode to follow recent moves of VSCode.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    13
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    14
* Pure: improved treatment of theorem dependencies and proof terms,
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    15
accessible via command 'thm_deps'.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    16
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    17
* Pure: proper treatment of oracles within internal proof objects,
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    18
accessible via command 'thm_oracles'.
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    19
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    20
* HOL: various library improvements.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    21
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    22
* HOL: better organization of HOL-Analysis vs. HOL-Complex_Analysis.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    23
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    24
* ML: more scalable export artifacts via XML blobs.
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    25
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    26
* Scala: support for external IDEs based on Gradle (e.g. IntelliJ IDEA).
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    27
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    28
* Scala: support for Ubuntu server applications (Linux-Apache-MySQL-PHP).
68648
371e814af6f0 more ANNOUNCE;
wenzelm
parents: 68599
diff changeset
    29
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    30
* System: Isabelle/Phabricator as self-hosted project management platform.
68648
371e814af6f0 more ANNOUNCE;
wenzelm
parents: 68599
diff changeset
    31
71491
wenzelm
parents: 71485
diff changeset
    32
* System: update to current Poly/ML 5.8.1 with improved robustness,
wenzelm
parents: 71485
diff changeset
    33
especially on Windows.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    34
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    35
* System: improved support for macOS, notably 10.15 Catalina.
54034
07844b536810 some highlights of Isabelle2013-1 based on NEWS;
wenzelm
parents: 53978
diff changeset
    36
12983
7d13480ee668 more stuff;
wenzelm
parents: 12964
diff changeset
    37
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    38
You may get Isabelle2020 from the following mirror sites:
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
    39
68599
cc7b5e0355a5 prefer HTTPS;
wenzelm
parents: 68567
diff changeset
    40
  Cambridge (UK)       https://www.cl.cam.ac.uk/research/hvg/Isabelle
cc7b5e0355a5 prefer HTTPS;
wenzelm
parents: 68567
diff changeset
    41
  Munich (Germany)     https://isabelle.in.tum.de
70032
0674c24afc5e updated for release;
wenzelm
parents: 68648
diff changeset
    42
  Sydney (Australia)   https://mirror.cse.unsw.edu.au/pub/isabelle
68599
cc7b5e0355a5 prefer HTTPS;
wenzelm
parents: 68567
diff changeset
    43
  Potsdam, NY (USA)    https://mirror.clarkson.edu/isabelle