| 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 |