changeset 71485 29e297fd5473
parent 70286 9d7256d23ae3
child 71491 0a20dd339a05
--- 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
-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)
   Munich (Germany)