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