Admin/isatest/settings/mac-poly64-M4
2010-02-17 wenzelm 2010-02-17 isatest: activated HOL-Nitpick_Examples for x86_64-darwin -- should now work with kodkodi-1.2.8;
2010-02-06 wenzelm 2010-02-06 tuned isatest ML_OPTIONS;
2010-01-09 wenzelm 2010-01-09 tuned isatest ML_OPTIONS;
2010-01-04 wenzelm 2010-01-04 discontinued special HOL_USEDIR_OPTIONS;
2009-11-09 wenzelm 2009-11-09 switched some isatest sessions to official Poly/ML 5.3.0;
2009-10-25 wenzelm 2009-10-25 more uniform ISABELLE_USEDIR_OPTIONS;
2009-10-02 wenzelm 2009-10-02 less ambitious heap settings;
2009-08-08 wenzelm 2009-08-08 refined mac-poly64 tests;
2009-07-20 wenzelm 2009-07-20 replaced usedir option -Q by more fine-grained -q;
2009-06-30 wenzelm 2009-06-30 fixed ISABELLE_HOME_USER;
2009-06-30 wenzelm 2009-06-30 added isatest for x86_64-darwin;