# 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 ***