ANNOUNCE
author wenzelm
Sun May 24 13:39:45 2020 +0200 (2 months ago)
changeset 71878 3cd8449829fa
parent 71491 0a20dd339a05
permissions -rw-r--r--
clarified signature;
wenzelm@71485
     1
Subject: Announcing Isabelle2020
wenzelm@9928
     2
To: isabelle-users@cl.cam.ac.uk
wenzelm@9928
     3
wenzelm@71485
     4
Isabelle2020 is now available.
wenzelm@60116
     5
wenzelm@71485
     6
This version introduces many changes over Isabelle2019: see the NEWS
wenzelm@68567
     7
file for further details. Here are some notable points:
wenzelm@68545
     8
wenzelm@71485
     9
* PIDE: much faster startup of Isabelle/jEdit thanks to more scalable
wenzelm@71485
    10
session directory structure.
wenzelm@68545
    11
wenzelm@71485
    12
* PIDE: updated Isabelle/VSCode to follow recent moves of VSCode.
wenzelm@68545
    13
wenzelm@71485
    14
* Pure: improved treatment of theorem dependencies and proof terms,
wenzelm@71485
    15
accessible via command 'thm_deps'.
wenzelm@68545
    16
wenzelm@71485
    17
* Pure: proper treatment of oracles within internal proof objects,
wenzelm@71485
    18
accessible via command 'thm_oracles'.
wenzelm@71485
    19
wenzelm@71485
    20
* HOL: various library improvements.
wenzelm@68545
    21
wenzelm@71485
    22
* HOL: better organization of HOL-Analysis vs. HOL-Complex_Analysis.
wenzelm@68545
    23
wenzelm@71485
    24
* ML: more scalable export artifacts via XML blobs.
wenzelm@71485
    25
wenzelm@71485
    26
* Scala: support for external IDEs based on Gradle (e.g. IntelliJ IDEA).
wenzelm@68545
    27
wenzelm@71485
    28
* Scala: support for Ubuntu server applications (Linux-Apache-MySQL-PHP).
wenzelm@68648
    29
wenzelm@71485
    30
* System: Isabelle/Phabricator as self-hosted project management platform.
wenzelm@68648
    31
wenzelm@71491
    32
* System: update to current Poly/ML 5.8.1 with improved robustness,
wenzelm@71491
    33
especially on Windows.
wenzelm@68545
    34
wenzelm@71485
    35
* System: improved support for macOS, notably 10.15 Catalina.
wenzelm@54034
    36
wenzelm@12983
    37
wenzelm@71485
    38
You may get Isabelle2020 from the following mirror sites:
wenzelm@9928
    39
wenzelm@68599
    40
  Cambridge (UK)       https://www.cl.cam.ac.uk/research/hvg/Isabelle
wenzelm@68599
    41
  Munich (Germany)     https://isabelle.in.tum.de
wenzelm@70032
    42
  Sydney (Australia)   https://mirror.cse.unsw.edu.au/pub/isabelle
wenzelm@68599
    43
  Potsdam, NY (USA)    https://mirror.clarkson.edu/isabelle