Wed, 17 Feb 2010 22:32:05 +0100 | wenzelm | isatest: activated HOL-Nitpick_Examples for x86_64-darwin -- should now work with kodkodi-1.2.8; | file | diff | annotate |
Wed, 10 Feb 2010 12:03:13 +0100 | wenzelm | unset KODKODI explicitly -- apparently isatest patches settings cumulatively; | file | diff | annotate |
Sat, 06 Feb 2010 23:26:17 +0100 | wenzelm | tuned isatest ML_OPTIONS; | file | diff | annotate |
Sat, 09 Jan 2010 16:31:19 +0100 | wenzelm | tuned isatest ML_OPTIONS; | file | diff | annotate |
Mon, 04 Jan 2010 11:55:23 +0100 | wenzelm | discontinued special HOL_USEDIR_OPTIONS; | file | diff | annotate |
Mon, 09 Nov 2009 21:34:42 +0100 | wenzelm | switched some isatest sessions to official Poly/ML 5.3.0; | file | diff | annotate |
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 |