diff -r 1f94d92b0dc2 -r a79280c7e8d5 NEWS --- a/NEWS Tue Mar 05 16:55:21 2024 +0100 +++ b/NEWS Tue Mar 05 18:42:09 2024 +0100 @@ -9,6 +9,13 @@ *** General *** +* Dropped support for very old operating systems. The platform +base-lines are now as follows: + + - Ubuntu Linux 18.04 LTS + - macOS 11 Big Sur + - Windows 10 or Windows Server 2012 R2 + * The arm64-linux platform is now officially supported, although a few (non-essential) tools are missing: @@ -174,9 +181,6 @@ * Update to GHC stack 2.15.1 with support for all platforms, including ARM Linux and Apple Silicon. -* No longer support for very old versions of macOS and Linux: base-line -is Ubuntu Linux 18.04 LTS and macOS 11 Big Sur. - * Isabelle/Scala supports mailing via SMTP, based on new system component javamail (previously javax.mail) from jakarta 2.1.2 using eclipse angus 2.0.2/2.0.1.