lib/scripts/polyml-platform
2010-04-19 wenzelm 2010-04-19 polyml-platform script is superseded by ISABELLE_PLATFORM;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2007-11-08 wenzelm 2007-11-08 x86_64: fall back on x86 (more efficient);
2007-08-29 wenzelm 2007-08-29 added x86-solaris;
2006-11-21 wenzelm 2006-11-21 activated x86_64-linux;
2006-11-09 wenzelm 2006-11-09 added x86-cygwin;
2006-10-12 wenzelm 2006-10-12 added x86-darwin;
2005-08-01 wenzelm 2005-08-01 determine Poly/ML's idea of current hardware and operating system type;