Admin/isatest/settings/at-sml-dev-e
2010-01-04 ago discontinued special HOL_USEDIR_OPTIONS;
2009-11-07 ago tuned ML_OPTIONS for SML/NJ -- for improved performance;
2009-05-31 ago uniform treatment of shellscript mode;
2008-03-24 ago replaced obsolete /usr/proj by /home;
2008-03-06 ago removed obsolete THIS_IS_ISABELLE_BUILD feature;
2008-01-14 ago make at-sml-dev experimental