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