Admin/isatest/settings/sun-sml-dev
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;
2007-03-05 kleing 2007-03-05 additional settings for isatest runs on various platforms