1.1 --- a/ANNOUNCE	Mon Mar 08 08:42:05 2021 +0100
     1.2 +++ b/ANNOUNCE	Mon Mar 08 09:11:09 2021 +0100
     1.3 @@ -1,41 +1,37 @@
     1.4 -Subject: Announcing Isabelle2020
     1.5 +Subject: Announcing Isabelle2021
     1.6  To: isabelle-users@cl.cam.ac.uk
     1.7  
     1.8 -Isabelle2020 is now available.
     1.9 +Isabelle2021 is now available.
    1.10  
    1.11 -This version introduces many changes over Isabelle2019: see the NEWS
    1.12 -file for further details. Here are some notable points:
    1.13 +This version introduces many changes over Isabelle2020: see the NEWS
    1.14 +file for further details. Here are various details:
    1.15  
    1.16 -* PIDE: much faster startup of Isabelle/jEdit thanks to more scalable
    1.17 -session directory structure.
    1.18 +* Improved HTML presentation in Isabelle/Scala, using PIDE markup.
    1.19  
    1.20 -* PIDE: updated Isabelle/VSCode to follow recent moves of VSCode.
    1.21 +* Improved PDF document preparation in Isabelle/Scala, using LuaLaTeX.
    1.22  
    1.23 -* Pure: improved treatment of theorem dependencies and proof terms,
    1.24 -accessible via command 'thm_deps'.
    1.25 +* Isabelle/jEdit: improved monitoring of Java and ML process.
    1.26  
    1.27 -* Pure: proper treatment of oracles within internal proof objects,
    1.28 -accessible via command 'thm_oracles'.
    1.29 +* Isabelle/jEdit: improved look-and-feel and IDE feedback.
    1.30  
    1.31 -* HOL: various library improvements.
    1.32 +* Pure: improved handling of named contexts and local syntax bundles.
    1.33  
    1.34 -* HOL: better organization of HOL-Analysis vs. HOL-Complex_Analysis.
    1.35 +* HOL: substantially reworked support for Word library.
    1.36  
    1.37 -* ML: more scalable export artifacts via XML blobs.
    1.38 +* HOL: various syntax and library improvements.
    1.39  
    1.40 -* Scala: support for external IDEs based on Gradle (e.g. IntelliJ IDEA).
    1.41 +* HOL: various Sledgehammer and SMT improvements, with updated external tools.
    1.42  
    1.43 -* Scala: support for Ubuntu server applications (Linux-Apache-MySQL-PHP).
    1.44 +* HOL: support for Nitpick/Kodkod in Isabelle/Scala.
    1.45  
    1.46 -* System: Isabelle/Phabricator as self-hosted project management platform.
    1.47 +* ML: routine support for Isabelle/Scala functions in Isabelle/ML.
    1.48  
    1.49 -* System: update to current Poly/ML 5.8.1 with improved robustness,
    1.50 -especially on Windows.
    1.51 +* System: support for Isabelle/Scala services defined in user-space.
    1.52  
    1.53 -* System: improved support for macOS, notably 10.15 Catalina.
    1.54 +* Support for macOS Big Sur on Intel and Apple Silicon (ARM).
    1.55  
    1.56  
    1.57 -You may get Isabelle2020 from the following mirror sites:
    1.58 +You may get Isabelle2021 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