Admin/isatest/settings/at-sml-dev-e
2009-05-31 wenzelm 2009-05-31 uniform treatment of shellscript mode;
2008-03-24 wenzelm 2008-03-24 replaced obsolete /usr/proj by /home;
2008-03-06 wenzelm 2008-03-06 removed obsolete THIS_IS_ISABELLE_BUILD feature;
2008-01-14 isatest 2008-01-14 make at-sml-dev experimental