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