equal
deleted
inserted
replaced
359 |
359 |
360 * The MLton compiler for x86_64-linux has been bundled as Isabelle |
360 * The MLton compiler for x86_64-linux has been bundled as Isabelle |
361 component, since Ubuntu 22.04 no longer provides a suitable package. |
361 component, since Ubuntu 22.04 no longer provides a suitable package. |
362 Note that on macOS, MLton is readily available via Homebrew: |
362 Note that on macOS, MLton is readily available via Homebrew: |
363 https://formulae.brew.sh/formula/mlton |
363 https://formulae.brew.sh/formula/mlton |
|
364 |
|
365 The Isabelle settings refer to an executable "$ISABELLE_MLTON" and |
|
366 command-line options $ISABELLE_MLTON_OPTIONS, which need to fit |
|
367 together. Potential INCOMPATIBILITY for existing |
|
368 $ISABELLE_HOME_USER/etc/settings. |
|
369 |
364 |
370 |
365 |
371 |
366 New in Isabelle2021-1 (December 2021) |
372 New in Isabelle2021-1 (December 2021) |
367 ------------------------------------- |
373 ------------------------------------- |
368 |
374 |