Admin/isatest/settings/at64-poly
2008-06-06 wenzelm 2008-06-06 switched to Poly/ML 5.2;
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-05 kleing 2007-12-05 switch poly to 5.1, removed -e flag from most sessions
2007-12-05 kleing 2007-12-05 make at64 non-experimental