| 2006-11-21 | wenzelm | activated x86_64-linux; | file | diff | annotate |
| 2006-11-09 | wenzelm | added x86-cygwin; | file | diff | annotate |
| 2006-10-12 | wenzelm | added x86-darwin; | file | diff | annotate |
| 2005-08-01 | wenzelm | determine Poly/ML's idea of current hardware and operating system type; | file | diff | annotate |