2010-01-04 ago discontinued special HOL_USEDIR_OPTIONS;
2009-08-04 ago options for more precise performance figures of at-poly, which happens to run on macbroy21;
2009-05-31 ago uniform treatment of shellscript mode;
2008-06-03 ago use polyml-5.2;
2008-03-24 ago replaced obsolete /usr/proj by /home;
2008-03-06 ago removed obsolete THIS_IS_ISABELLE_BUILD feature;
2007-12-05 ago switch at-poly main to poly 5.1
2007-03-05 ago additional settings for isatest runs on various platforms