1.1 --- a/ANNOUNCE Wed Sep 23 15:01:00 2020 +0200
1.2 +++ b/ANNOUNCE Wed Sep 23 15:18:07 2020 +0200
1.3 @@ -1,36 +1,41 @@
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 syntax and library improvements.
1.33 +* HOL: various library improvements.
1.34
1.35 -* HOL libraries: better organization and much more material in HOL-Algebra,
1.36 -HOL-Analysis, HOL-Homology.
1.37 +* HOL: better organization of HOL-Analysis vs. HOL-Complex_Analysis.
1.38
1.39 -* Isabelle/ML environments for separate SML applications.
1.40 +* ML: more scalable export artifacts via XML blobs.
1.41
1.42 -* Isabelle/Haskell library for implementation of Isabelle/PIDE backends.
1.43 +* Scala: support for external IDEs based on Gradle (e.g. IntelliJ IDEA).
1.44
1.45 -* Installation management for Haskell (Stack) and OCaml (OPAM).
1.46 +* Scala: support for Ubuntu server applications (Linux-Apache-MySQL-PHP).
1.47
1.48 -* Update to current Java 11 and Poly/ML 5.8 with better scalability.
1.49 +* System: Isabelle/Phabricator as self-hosted project management platform.
1.50
1.51 +* System: update to current Poly/ML 5.8.1 with improved robustness,
1.52 +especially on Windows.
1.53
1.54 -You may get Isabelle2019 from the following mirror sites:
1.55 +* System: improved support for macOS, notably 10.15 Catalina.
1.56 +
1.57 +
1.58 +You may get Isabelle2020 from the following mirror sites:
1.59
1.60 Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle
1.61 Munich (Germany) https://isabelle.in.tum.de