--- a/Admin/components/components.sha1 Sat Sep 17 17:27:51 2022 +0200
+++ b/Admin/components/components.sha1 Sat Sep 17 18:10:48 2022 +0200
@@ -282,6 +282,7 @@
3bc42b8e22f0be5ec5614f1914066164c83498f8 macos_app-20181208.tar.gz
5fb1a2d21b220d0e588790c0203ac87c10ed0870 minisat-2.2.1-1.tar.gz
ae76bfaade3bf72ff6b2d3aafcd52fa45609fcd1 minisat-2.2.1.tar.gz
+5d48b7163a68c18b691bedc1511364b0b103baeb mlton-20210117.tar.gz
eda10c62da927a842c0a8881f726eac85e1cb4f7 naproche-20210122.tar.gz
edcb517b7578db4eec1b6573b624f291776e11f6 naproche-20210124.tar.gz
d858eb0ede6aea6b8cc40de63bd3a17f8f9f5300 naproche-20210129.tar.gz
--- a/Admin/components/main Sat Sep 17 17:27:51 2022 +0200
+++ b/Admin/components/main Sat Sep 17 18:10:48 2022 +0200
@@ -16,6 +16,7 @@
jortho-1.0-2
kodkodi-1.5.7
minisat-2.2.1-1
+mlton-20210117
nunchaku-0.5
opam-2.0.7
pdfjs-2.14.305
--- 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)
-------------------------------------