Admin/isatest/settings/sun-poly
2009-05-31 wenzelm 2009-05-31 uniform treatment of shellscript mode;
2009-02-27 wenzelm 2009-02-27 even less default memory for sunbroy2;
2009-02-27 kleing 2009-02-27 trying less default memory for sunbroy2 test
2008-12-05 kleing 2008-12-05 run test for sunbroy2 on /tmp, be careful about removing old test dir
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-12-09 wenzelm 2007-12-09 ML_OPTIONS="-H 1500" -- potentially works around GC core dump;
2007-12-08 wenzelm 2007-12-08 ML_OPTIONS="-H 1000" -- potentially works around GC core dump;
2007-11-26 wenzelm 2007-11-26 use official polyml-5.1;
2007-07-17 wenzelm 2007-07-17 use /usr/proj/polyml/polyml-5.1-test, which might be more stable;
2007-03-05 kleing 2007-03-05 additional settings for isatest runs on various platforms