NEWS;
authorwenzelm
Mon, 03 Feb 2025 14:41:50 +0100
changeset 82068 bb1be1eeaaab
parent 82067 c379809f5b6f
child 82069 7a5d8adbbf0a
NEWS;
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)