diff -r 2dcbf5cbc7a1 -r 9b532f064649 lib/scripts/isabelle-platform
--- a/lib/scripts/isabelle-platform	Mon Mar 25 20:48:10 2024 +0100
+++ b/lib/scripts/isabelle-platform	Mon Mar 25 20:55:27 2024 +0100
@@ -43,10 +43,6 @@
     ISABELLE_PLATFORM_FAMILY="windows"
     ISABELLE_WINDOWS_PLATFORM32="x86-windows"
     ISABELLE_WINDOWS_PLATFORM64="x86_64-windows"
-    case $(uname -m) in
-      x86_64)
-        ISABELLE_PLATFORM64=x86_64-cygwin
-        ;;
-    esac
+    ISABELLE_PLATFORM64=x86_64-cygwin
     ;;
 esac