2012-09-05 ago misc tuning;
2012-08-17 ago tuned;
2012-08-17 ago updates on 32 bit vs. 64 bit platforms;
2011-12-28 ago updated platform information;
2011-09-18 ago more Mac OS reference hardware;
2011-09-11 ago some updates of PLATFORMS;
2011-04-20 ago updated reference machines;
2011-01-31 ago more platform hints;
2011-01-07 ago tuned
2010-11-28 ago updated reference platforms;
2010-04-19 ago some updates on multi-platform support;
2010-03-06 ago Some notes on platform support of Isabelle.