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 |
Mon, 20 Jul 2009 19:57:32 +0200 | wenzelm | replaced usedir option -Q by more fine-grained -q; | file | diff | annotate |
Tue, 30 Jun 2009 22:04:41 +0200 | wenzelm | fixed ISABELLE_HOME_USER; | file | diff | annotate |
Tue, 30 Jun 2009 21:51:44 +0200 | wenzelm | added isatest for x86_64-darwin; | file | diff | annotate |