src/Pure/System/platform.scala
2009-06-28 wenzelm 2009-06-28 sane platform look-and-feel;
2009-06-28 wenzelm 2009-06-28 moved platform identification to platform.scala; more precise discrimination, including 64bit option;