[isabelle-dev] NEWS: MLton compiler for x86_64-linux

[Makarius]

*** System ***

* 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

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.


This refers to Isabelle/1a31d1551eb3.

Example settings:

   ISABELLE_MLTON="mlton"
   ISABELLE_MLTON_OPTIONS=""

No special options are required for mlton taken from the underlying Linux 
distribution; but the default options by the component might be in conflict.


	Makarius