diff -r 36c650d1a90d -r b5bf76cf2b4e lib/scripts/isabelle-platform
--- a/lib/scripts/isabelle-platform	Tue Feb 28 23:12:52 2017 +0100
+++ b/lib/scripts/isabelle-platform	Wed Mar 01 11:26:19 2017 +0100
@@ -44,6 +44,7 @@
       i?86 | x86_64)
         ISABELLE_PLATFORM32=x86-cygwin
         if [ "$PROCESSOR_ARCHITECTURE" = "AMD64" -o "$PROCESSOR_ARCHITEW6432" = "AMD64" ]; then
+          ISABELLE_WINDOWS_PLATFORM32="x86-windows"
           ISABELLE_WINDOWS_PLATFORM64="x86_64-windows"
         else
           ISABELLE_WINDOWS_PLATFORM32="x86-windows"
@@ -62,4 +63,4 @@
 esac
 
 ISABELLE_PLATFORM="$ISABELLE_PLATFORM32"
-
+ISABELLE_WINDOWS_PLATFORM="$ISABELLE_WINDOWS_PLATFORM32"