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