--- a/NEWS Sat Sep 17 21:17:26 2022 +0200
+++ b/NEWS Sat Sep 17 22:38:21 2022 +0200
@@ -362,6 +362,12 @@
Note that on macOS, MLton is readily available via Homebrew:
https://formulae.brew.sh/formula/mlton
+The Isabelle settings refer to an executable "$ISABELLE_MLTON" and
+command-line options $ISABELLE_MLTON_OPTIONS, which need to fit
+together. Potential INCOMPATIBILITY for existing
+$ISABELLE_HOME_USER/etc/settings.
+
+
New in Isabelle2021-1 (December 2021)
-------------------------------------