lib/scripts/polyml-platform
Sat, 20 Dec 2008 11:55:34 +0100 wenzelm removed Ids;
Thu, 08 Nov 2007 20:07:58 +0100 wenzelm x86_64: fall back on x86 (more efficient);
Wed, 29 Aug 2007 16:24:38 +0200 wenzelm added x86-solaris;
Tue, 21 Nov 2006 18:50:54 +0100 wenzelm activated x86_64-linux;
Thu, 09 Nov 2006 23:40:19 +0100 wenzelm added x86-cygwin;
Thu, 12 Oct 2006 14:07:48 +0200 wenzelm added x86-darwin;
Mon, 01 Aug 2005 19:20:48 +0200 wenzelm determine Poly/ML's idea of current hardware and operating system type;
less more (0) tip