Admin/isatest-check
2005-06-11 wenzelm 2005-06-11 fixed spelling;
2005-06-02 kleing 2005-06-02 reduced timeout, send logs also when test taking too long
2005-05-27 kleing 2005-05-27 put global isatest settings in one file, sourced by the other scripts
2005-05-08 wenzelm 2005-05-08 MAILTO: makarius@sketis.net
2005-04-30 isatest 2005-04-30 export DISTPREFIX to devel page Makefile
2005-04-29 kleing 2005-04-29 move isadist to ~/tmp/
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2003-08-27 skalberg 2003-08-27 Added skalberg to recepients, changed admin from kleing to berghofe.
2003-05-18 kleing 2003-05-18 fix typo
2003-05-18 kleing 2003-05-18 attach log files
2003-05-18 kleing 2003-05-18 attach log files
2003-05-09 kleing 2003-05-09 only make development snapshots for successful tests
2003-05-09 kleing 2003-05-09 fixes
2003-05-09 kleing 2003-05-09 var/run -> var/running
2003-05-09 kleing 2003-05-09 typo
2003-05-09 kleing 2003-05-09 check for error log, send mail if exists