Admin/PLATFORMS
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.