ANNOUNCE
changeset 71485 29e297fd5473
parent 70286 9d7256d23ae3
child 71491 0a20dd339a05
     1.1 --- a/ANNOUNCE	Wed Feb 26 19:26:00 2020 +0100
     1.2 +++ b/ANNOUNCE	Wed Feb 26 19:50:04 2020 +0100
     1.3 @@ -1,36 +1,40 @@
     1.4 -Subject: Announcing Isabelle2019
     1.5 +Subject: Announcing Isabelle2020
     1.6  To: isabelle-users@cl.cam.ac.uk
     1.7  
     1.8 -Isabelle2019 is now available.
     1.9 +Isabelle2020 is now available.
    1.10  
    1.11 -This version introduces many changes over Isabelle2018: see the NEWS
    1.12 +This version introduces many changes over Isabelle2019: see the NEWS
    1.13  file for further details. Here are some notable points:
    1.14  
    1.15 -* Improved "Isabelle DejaVu" font collection, suitable for text and GUI.
    1.16 +* PIDE: much faster startup of Isabelle/jEdit thanks to more scalable
    1.17 +session directory structure.
    1.18  
    1.19 -* Various Isabelle/jEdit improvements, with virtual file-system access to
    1.20 -sessions and exports.
    1.21 +* PIDE: updated Isabelle/VSCode to follow recent moves of VSCode.
    1.22  
    1.23 -* Improved headless PIDE session (and server).
    1.24 +* Pure: improved treatment of theorem dependencies and proof terms,
    1.25 +accessible via command 'thm_deps'.
    1.26  
    1.27 -* HOL: 'export_code' now generates logical files in the theory and session
    1.28 -context, e.g. browsable as "isabelle-export:" in Isabelle/jEdit.
    1.29 +* Pure: proper treatment of oracles within internal proof objects,
    1.30 +accessible via command 'thm_oracles'.
    1.31 +
    1.32 +* HOL: various library improvements.
    1.33  
    1.34 -* HOL: various syntax and library improvements.
    1.35 +* HOL: better organization of HOL-Analysis vs. HOL-Complex_Analysis.
    1.36  
    1.37 -* HOL libraries: better organization and much more material in HOL-Algebra,
    1.38 -HOL-Analysis, HOL-Homology.
    1.39 +* ML: more scalable export artifacts via XML blobs.
    1.40 +
    1.41 +* Scala: support for external IDEs based on Gradle (e.g. IntelliJ IDEA).
    1.42  
    1.43 -* Isabelle/ML environments for separate SML applications.
    1.44 +* Scala: support for Ubuntu server applications (Linux-Apache-MySQL-PHP).
    1.45  
    1.46 -* Isabelle/Haskell library for implementation of Isabelle/PIDE backends.
    1.47 +* System: Isabelle/Phabricator as self-hosted project management platform.
    1.48  
    1.49 -* Installation management for Haskell (Stack) and OCaml (OPAM).
    1.50 +* System: more robust support for Windows.
    1.51  
    1.52 -* Update to current Java 11 and Poly/ML 5.8 with better scalability.
    1.53 +* System: improved support for macOS, notably 10.15 Catalina.
    1.54  
    1.55  
    1.56 -You may get Isabelle2019 from the following mirror sites:
    1.57 +You may get Isabelle2020 from the following mirror sites:
    1.58  
    1.59    Cambridge (UK)       https://www.cl.cam.ac.uk/research/hvg/Isabelle
    1.60    Munich (Germany)     https://isabelle.in.tum.de