NEWS

--- a/NEWS	Sat Sep 17 17:27:51 2022 +0200
+++ b/NEWS	Sat Sep 17 18:10:48 2022 +0200
@@ -357,6 +357,11 @@
     parameters for proxy_host etc. have been discontinued: minor
     INCOMPATIBILITY.
 
+* The MLton compiler for x86_64-linux has been bundled as Isabelle
+component, since Ubuntu 22.04 no longer provides a suitable package.
+Note that on macOS, MLton is readily available via Homebrew:
+https://formulae.brew.sh/formula/mlton
+
 
 New in Isabelle2021-1 (December 2021)
 -------------------------------------