Admin/polyml/settings

--- a/Admin/polyml/settings	Wed Sep 26 15:04:15 2012 +0200
+++ b/Admin/polyml/settings	Wed Sep 26 16:37:21 2012 +0200
@@ -20,7 +20,8 @@
     then
       ML_PLATFORM="$ISABELLE_PLATFORM32"
     else
-      echo >&2 "### Cannot execute Poly/ML in 32bit mode -- using bulky 64bit version instead"
+      echo >&2 "### Cannot execute Poly/ML in 32bit mode: missing shared libraries for C/C++"
+      echo >&2 "### Using more voluminous 64bit version of Poly/ML instead"
       ML_PLATFORM="$ISABELLE_PLATFORM64"
     fi
     ;;