Sun, 25 Oct 2009 13:14:00 +0100 | wenzelm | more uniform ISABELLE_USEDIR_OPTIONS; | file | diff | annotate |
Fri, 02 Oct 2009 10:35:13 +0200 | wenzelm | less ambitious heap settings; | file | diff | annotate |
Sat, 08 Aug 2009 11:40:22 +0200 | wenzelm | refined mac-poly64 tests; | file | diff | annotate |