diff -r 9b532f064649 -r e94a36467f4e lib/scripts/isabelle-platform
--- a/lib/scripts/isabelle-platform	Mon Mar 25 20:55:27 2024 +0100
+++ b/lib/scripts/isabelle-platform	Mon Mar 25 21:04:26 2024 +0100
@@ -23,19 +23,12 @@
     ;;
   Darwin)
     ISABELLE_PLATFORM_FAMILY="macos"
-    case $(sw_vers -productVersion) in
-      10.10*|10.11*|10.12*|10.13*|10.14*)
-        ISABELLE_PLATFORM64=x86_64-darwin
+    ISABELLE_PLATFORM64=x86_64-darwin
+    case $(uname -a) in
+      *arm64*|*ARM64*)
+        ISABELLE_APPLE_PLATFORM64=arm64-darwin
         ;;
       *)
-        ISABELLE_PLATFORM64=x86_64-darwin
-        case $(uname -a) in
-          *arm64*|*ARM64*)
-            ISABELLE_APPLE_PLATFORM64=arm64-darwin
-            ;;
-          *)
-            ;;
-        esac
         ;;
     esac
     ;;