Admin/polyml/settings
17 months ago wenzelm 2017-11-07 more recent polyml-test version; afford more heap by default: all platforms are now 64bit and presumably have sufficient memory;
18 months ago wenzelm 2017-10-22 more recent polyml-test version;
18 months ago wenzelm 2017-10-03 more recent polyml-test version;
19 months ago wenzelm 2017-09-25 basic support for x86_64-cygwin;
2016-12-10 wenzelm 2016-12-10 updated Poly/ML repository test version (08-Dec-2016);
2015-11-23 wenzelm 2015-11-23 updated to polyml-5.6-20151123;
2015-09-11 wenzelm 2015-09-11 fully detached test run, to avoid flashing window on Windows with Cygwin-Terminal;
2015-09-11 wenzelm 2015-09-11 convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;
2015-09-08 wenzelm 2015-09-08 updated to polyml-5.5.3-20150908, with support for x86_64-windows and Unicode file-names;
2015-08-20 wenzelm 2015-08-20 updated to polyml-5.5.3-20150820, with native x86-windows support;
2014-05-14 wenzelm 2014-05-14 updated to polyml-5.5.2;
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;