Admin/isatest/settings/mac-sml-dev
2010-01-04 ago discontinued special HOL_USEDIR_OPTIONS;
2009-05-31 ago uniform treatment of shellscript mode;
2008-03-06 ago removed obsolete THIS_IS_ISABELLE_BUILD feature;
2007-09-19 ago make sun-sml-dev non-proof-term, and at-sml-def -p 2 (at-sml-dev being moved
2007-03-05 ago additional settings for isatest runs on various platforms