--- a/NEWS Tue Mar 05 18:06:26 2024 +0100
+++ b/NEWS Tue Mar 05 18:41:56 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:
@@ -172,9 +179,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.