# HG changeset patch # User wenzelm # Date 1582743004 -3600 # Node ID 29e297fd547304463cd901bff9562e79c3f8f776 # Parent bb82dd4d19f63c2cbf1e7290349130998bcc86ef updated for release; diff -r bb82dd4d19f6 -r 29e297fd5473 ANNOUNCE --- a/ANNOUNCE Wed Feb 26 19:26:00 2020 +0100 +++ b/ANNOUNCE Wed Feb 26 19:50:04 2020 +0100 @@ -1,36 +1,40 @@ -Subject: Announcing Isabelle2019 +Subject: Announcing Isabelle2020 To: isabelle-users@cl.cam.ac.uk -Isabelle2019 is now available. +Isabelle2020 is now available. -This version introduces many changes over Isabelle2018: see the NEWS +This version introduces many changes over Isabelle2019: see the NEWS file for further details. Here are some notable points: -* Improved "Isabelle DejaVu" font collection, suitable for text and GUI. +* PIDE: much faster startup of Isabelle/jEdit thanks to more scalable +session directory structure. -* Various Isabelle/jEdit improvements, with virtual file-system access to -sessions and exports. +* PIDE: updated Isabelle/VSCode to follow recent moves of VSCode. -* Improved headless PIDE session (and server). +* Pure: improved treatment of theorem dependencies and proof terms, +accessible via command 'thm_deps'. -* HOL: 'export_code' now generates logical files in the theory and session -context, e.g. browsable as "isabelle-export:" in Isabelle/jEdit. +* Pure: proper treatment of oracles within internal proof objects, +accessible via command 'thm_oracles'. + +* HOL: various library improvements. -* HOL: various syntax and library improvements. +* HOL: better organization of HOL-Analysis vs. HOL-Complex_Analysis. -* HOL libraries: better organization and much more material in HOL-Algebra, -HOL-Analysis, HOL-Homology. +* ML: more scalable export artifacts via XML blobs. + +* Scala: support for external IDEs based on Gradle (e.g. IntelliJ IDEA). -* Isabelle/ML environments for separate SML applications. +* Scala: support for Ubuntu server applications (Linux-Apache-MySQL-PHP). -* Isabelle/Haskell library for implementation of Isabelle/PIDE backends. +* System: Isabelle/Phabricator as self-hosted project management platform. -* Installation management for Haskell (Stack) and OCaml (OPAM). +* System: more robust support for Windows. -* Update to current Java 11 and Poly/ML 5.8 with better scalability. +* System: improved support for macOS, notably 10.15 Catalina. -You may get Isabelle2019 from the following mirror sites: +You may get Isabelle2020 from the following mirror sites: Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle Munich (Germany) https://isabelle.in.tum.de diff -r bb82dd4d19f6 -r 29e297fd5473 CONTRIBUTORS --- a/CONTRIBUTORS Wed Feb 26 19:26:00 2020 +0100 +++ b/CONTRIBUTORS Wed Feb 26 19:50:04 2020 +0100 @@ -3,8 +3,8 @@ listed as an author in one of the source files of this Isabelle distribution. -Contributions to this Isabelle2020 ----------------------------------- +Contributions to Isabelle2020 +----------------------------- * February 2020: E. Gunther, M. Pagano and P. Sánchez Terraf Simplified, generalised version of ZF/Constructible. diff -r bb82dd4d19f6 -r 29e297fd5473 NEWS --- a/NEWS Wed Feb 26 19:26:00 2020 +0100 +++ b/NEWS Wed Feb 26 19:50:04 2020 +0100 @@ -4,8 +4,8 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) -New in this Isabelle version ----------------------------- +New in Isabelle2020 (April 2020) +-------------------------------- *** General ***