Admin/isatest/settings/at-poly-dev-e
2009-05-31 wenzelm 2009-05-31 uniform treatment of shellscript mode;
2008-06-06 wenzelm 2008-06-06 switched to Poly/ML 5.2;
2008-03-06 wenzelm 2008-03-06 removed obsolete THIS_IS_ISABELLE_BUILD feature;
2007-12-16 kleing 2007-12-16 settings for cvs version of poly