2010-04-19 | wenzelm | polyml-platform script is superseded by ISABELLE_PLATFORM; | file | diff | annotate |
2008-12-20 | wenzelm | removed Ids; | file | diff | annotate |
2007-11-08 | wenzelm | x86_64: fall back on x86 (more efficient); | file | diff | annotate |
2007-08-29 | wenzelm | added x86-solaris; | file | diff | annotate |
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 |