Admin/isatest/settings/mac-poly64-M8
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;