# HG changeset patch # User wenzelm # Date 1609074267 -3600 # Node ID a569465f8b570134e027737079c6a69f2ac1aa11 # Parent 56eae6d161dba2f9c06b90b92f902f18862a1c2a updated for release; diff -r 56eae6d161db -r a569465f8b57 ANNOUNCE --- a/ANNOUNCE Sun Dec 27 14:04:16 2020 +0100 +++ b/ANNOUNCE Sun Dec 27 14:04:27 2020 +0100 @@ -1,41 +1,37 @@ -Subject: Announcing Isabelle2020 +Subject: Announcing Isabelle2021 To: isabelle-users@cl.cam.ac.uk -Isabelle2020 is now available. +Isabelle2021 is now available. -This version introduces many changes over Isabelle2019: see the NEWS -file for further details. Here are some notable points: - -* PIDE: much faster startup of Isabelle/jEdit thanks to more scalable -session directory structure. +This version introduces many changes over Isabelle2020: see the NEWS +file for further details. Here are various details: -* PIDE: updated Isabelle/VSCode to follow recent moves of VSCode. +* Improved HTML presentation in Isabelle/Scala, using PIDE markup. + +* Improved PDF document preparation in Isabelle/Scala, using LuaLaTeX. -* Pure: improved treatment of theorem dependencies and proof terms, -accessible via command 'thm_deps'. +* Isabelle/jEdit: improved monitoring of Java and ML process. -* Pure: proper treatment of oracles within internal proof objects, -accessible via command 'thm_oracles'. +* Isabelle/jEdit: various IDE feedback improvements. -* HOL: various library improvements. +* Pure: improved handling of named contexts and local syntax bundles. -* HOL: better organization of HOL-Analysis vs. HOL-Complex_Analysis. +* HOL: substantially reworked support for Word library. -* ML: more scalable export artifacts via XML blobs. +* HOL: various syntax and library improvements. -* Scala: support for external IDEs based on Gradle (e.g. IntelliJ IDEA). +* HOL: various Sledgehammer and SMT improvements, with updated external tools. -* Scala: support for Ubuntu server applications (Linux-Apache-MySQL-PHP). +* HOL: support for Nitpick/Kodkod in Isabelle/Scala. -* System: Isabelle/Phabricator as self-hosted project management platform. +* ML: routine support for Isabelle/Scala functions in Isabelle/ML. -* System: update to current Poly/ML 5.8.1 with improved robustness, -especially on Windows. +* System: support for Isabelle/Scala services defined in user-space. -* System: improved support for macOS, notably 10.15 Catalina. +* Experimental support for ARM64 platform on Linux and macOS (Apple Silicon). -You may get Isabelle2020 from the following mirror sites: +You may get Isabelle2021 from the following mirror sites: Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle Munich (Germany) https://isabelle.in.tum.de