Admin/isatest/settings/mac-poly64-M4
2010-01-04 ago discontinued special HOL_USEDIR_OPTIONS;
2009-11-09 ago switched some isatest sessions to official Poly/ML 5.3.0;
2009-10-25 ago more uniform ISABELLE_USEDIR_OPTIONS;
2009-10-02 ago less ambitious heap settings;
2009-08-08 ago refined mac-poly64 tests;
2009-07-20 ago replaced usedir option -Q by more fine-grained -q;
2009-06-30 ago fixed ISABELLE_HOME_USER;
2009-06-30 ago added isatest for x86_64-darwin;