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