Admin/polyml/settings
2013-09-17 wenzelm 2013-09-17 updated to polyml-5.5.1; prefer explicit POLYML_HOME to simplify additional user settings;
2013-01-26 wenzelm 2013-01-26 tuned ML platform fallback;
2012-09-26 wenzelm 2012-09-26 tuned message;
2012-09-17 wenzelm 2012-09-17 some updates for polyml-5.5.0;
2012-08-29 wenzelm 2012-08-29 provide polyml-5.4.1 as regular component; discontinued old-style choosefrom settings with hardwired defaults;