Admin/PLATFORMS
18 months ago wenzelm 2018-06-04 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; record cygwin mirror explicitly;
20 months ago wenzelm 2018-04-19 misc tuning and clarification;
24 months ago wenzelm 2017-12-21 tuned;
2017-11-25 wenzelm 2017-11-25 Mac OS X 10.10 Yosemite is baseline;
2017-10-24 wenzelm 2017-10-24 misc tuning and modernization;
2017-10-23 wenzelm 2017-10-23 obsolete;
2017-09-30 wenzelm 2017-09-30 more and updated documentation;
2017-09-30 wenzelm 2017-09-30 x86-cygwin for tools is no longer supported;
2017-09-25 wenzelm 2017-09-25 basic support for x86_64-cygwin;
2017-08-28 wenzelm 2017-08-28 updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
2017-04-04 wenzelm 2017-04-04 macbroy30 is on 10.12 Sierra (already since 04-Mar-2017) -- discontinued support for 10.8 Mountain Lion;
2017-03-01 wenzelm 2017-03-01 more uniform platform settings;
2016-10-26 wenzelm 2016-10-26 more specific hardware information: relevant for ultimate Mac OS X version;
2016-10-26 wenzelm 2016-10-26 latest Mac OS X versions *are* still supported, but presently without formal reference systems;
2016-10-24 wenzelm 2016-10-24 version provided by web server;
2016-10-22 wenzelm 2016-10-22 pro-forma update to cygwin_2016-1 (web service still missing);
2016-10-21 wenzelm 2016-10-21 misc tuning and updates;
2016-10-21 wenzelm 2016-10-21 speculative support for latest Mac OS X versions -- no reference systems yet;
2016-07-19 wenzelm 2016-07-19 Linux platform base-line is Ubuntu 12.04 LTS;
2015-12-31 wenzelm 2015-12-31 tuned;
2015-11-23 wenzelm 2015-11-23 updated platform baseline to Mac OS X 10.8 Mountain Lion;
2015-09-30 wenzelm 2015-09-30 renamed jvmpath to platform_path;
2014-11-22 wenzelm 2014-11-22 isatest for Mac OS X Yosemite;
2014-10-24 wenzelm 2014-10-24 discontinued python from standard system environment;
2014-02-12 wenzelm 2014-02-12 more platform notes;
2014-02-11 wenzelm 2014-02-11 Mac OS X Lion (macbroy6) is baseline for portable executables; fringe platforms are unsupported;
2012-09-05 wenzelm 2012-09-05 misc tuning;
2012-08-17 wenzelm 2012-08-17 tuned;
2012-08-17 wenzelm 2012-08-17 updates on 32 bit vs. 64 bit platforms; added Mountain Lion; dropped Leopard; tuned;
2011-12-28 wenzelm 2011-12-28 updated platform information;
2011-09-18 wenzelm 2011-09-18 more Mac OS reference hardware;
2011-09-11 wenzelm 2011-09-11 some updates of PLATFORMS;
2011-04-20 wenzelm 2011-04-20 updated reference machines;
2011-01-31 wenzelm 2011-01-31 more platform hints;
2011-01-07 boehmes 2011-01-07 tuned
2010-11-28 wenzelm 2010-11-28 updated reference platforms;
2010-04-19 wenzelm 2010-04-19 some updates on multi-platform support;
2010-03-06 wenzelm 2010-03-06 Some notes on platform support of Isabelle.