# HG changeset patch
# User wenzelm
# Date 1709660516 -3600
# Node ID 60e985e2a12f8e5d9f103b5e690e2f5b9f650c81
# Parent  8bde94328b0585ad466ee175f27d886c899a7b90
update NEWS;

diff -r 8bde94328b05 -r 60e985e2a12f NEWS
--- 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.