# HG changeset patch
# User wenzelm
# Date 1738590110 -3600
# Node ID bb1be1eeaaabba4794af4d9d7469081f874a1125
# Parent  c379809f5b6f37b9dd715ab57d2b3204a1161161
NEWS;

diff -r c379809f5b6f -r bb1be1eeaaab NEWS
--- a/NEWS	Mon Feb 03 14:26:26 2025 +0100
+++ b/NEWS	Mon Feb 03 14:41:50 2025 +0100
@@ -431,6 +431,9 @@
 "system" manual now refers to the project as "Phorge", but "phabricator"
 remains for formal names (files, DNS etc.).
 
+* Update of the MLton SML compiler to work better with current macOS
+versions (including ARM). Windows and Linux ARM remain unsupported.
+
 
 
 New in Isabelle2024 (May 2024)