Admin/PLATFORMS
2010-03-06 wenzelm 2010-03-06 Some notes on platform support of Isabelle.