diff -r d44ea023ac09 -r 808e6ddb5a50 Admin/polyml/settings
--- a/Admin/polyml/settings	Mon Oct 02 22:48:01 2017 +0200
+++ b/Admin/polyml/settings	Tue Oct 03 12:30:36 2017 +0200
@@ -12,11 +12,11 @@
   ML_SYSTEM_64="false"
 fi
 
-case "${ISABELLE_PLATFORM}:${ML_SYSTEM_64}" in
-  *-cygwin:true)
+case "${ISABELLE_PLATFORM_FAMILY}:${ML_SYSTEM_64}" in
+  windows:true)
     PLATFORMS="x86_64-windows x86-windows"
     ;;
-  *-cygwin:*)
+  windows:*)
     PLATFORMS="x86-windows x86_64-windows"
     ;;
   *:true)
@@ -41,7 +41,7 @@
 
       # ML settings
 
-      ML_SYSTEM=polyml-5.7
+      ML_SYSTEM=polyml-5.7.1
       ML_PLATFORM="$PLATFORM"
       ML_HOME="$POLYML_HOME/$ML_PLATFORM"
       ML_SOURCES="$POLYML_HOME/src"