updated for release;
Wed, 26 Feb 2020 19:50:04 +0100
changeset 71485 29e297fd5473
parent 71484 bb82dd4d19f6
child 71486 0e1b9b308d8f
updated for release;
--- 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
--- 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.
--- 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 ***