Admin/polyml/settings

   ML_SYSTEM_64="true"
 else
   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)
     PLATFORMS="$ISABELLE_PLATFORM64 $ISABELLE_PLATFORM32"
     ;;

     if "$POLYML_HOME/$PLATFORM/polyi" -v </dev/null >/dev/null 2>/dev/null
     then
 
       # 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"
 
       case "$ML_PLATFORM" in