diff -r 694d0a315d0a -r e25c0a6cc335 lib/scripts/isabelle-platform
--- a/lib/scripts/isabelle-platform	Sat Oct 03 15:11:30 2020 +0200
+++ b/lib/scripts/isabelle-platform	Sat Oct 03 19:56:02 2020 +0200
@@ -16,6 +16,9 @@
       aarch64)
         ISABELLE_PLATFORM64=arm64-linux
         ;;
+      arm*)
+        ISABELLE_PLATFORM32=arm32-linux
+        ;;
       *)
         ISABELLE_PLATFORM32=x86-linux
         ISABELLE_PLATFORM64=x86_64-linux