Admin/isatest/settings/annomaly
2010-01-04 ago discontinued special HOL_USEDIR_OPTIONS;
2009-05-31 ago uniform treatment of shellscript mode;
2008-03-06 ago removed obsolete THIS_IS_ISABELLE_BUILD feature;
2007-04-12 ago set special ISABELLE_USER_HOME as in other isatest settings
2007-03-05 ago AnnoMaLy related files, as discussed in mails with Gerwin Klein