--- 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)
--- a/etc/options Tue Jul 11 15:51:15 2023 +0200
+++ b/etc/options Tue Jul 11 16:51:52 2023 +0200
@@ -177,7 +177,7 @@
public option ML_system_64 : bool = false for build
-- "prefer native 64bit platform (change requires restart)"
-public option ML_system_apple : bool = true for build
+public option ML_system_apple : bool = false for build
-- "prefer native Apple/ARM64 platform (change requires restart)"