| changeset 78306 | b04ac8a017b2 |
| parent 78302 | 27521a4779bd |
| child 78309 | fc6246225283 |
--- a/NEWS Tue Jul 11 15:51:15 2023 +0200 +++ b/NEWS Tue Jul 11 16:51:52 2023 +0200 @@ -461,6 +461,10 @@ * Update to GHC stack 2.9.3 with support for arm64-linux. +* System option "ML_system_apple" now defaults to "false", for more +stability: Poly/ML for ARM64 is still somewhat unstable and not +yet officially released. + New in Isabelle2022 (October 2022)