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