1.1 --- a/etc/settings	Mon Apr 19 10:19:37 2010 +0200
     1.2 +++ b/etc/settings	Mon Apr 19 10:56:26 2010 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4  
     1.5  # Poly/ML 5.x (automated settings)
     1.6  POLY_HOME="$(type -p poly)"; [ -n "$POLY_HOME" ] && POLY_HOME="$(dirname "$POLY_HOME")"
     1.7 -ML_PLATFORM=$("$ISABELLE_HOME/lib/scripts/polyml-platform")
     1.8 +ML_PLATFORM="$ISABELLE_PLATFORM"
     1.9  ML_HOME=$(choosefrom \
    1.10    "$ISABELLE_HOME/contrib/polyml/$ML_PLATFORM" \
    1.11    "$ISABELLE_HOME/../polyml/$ML_PLATFORM" \