Admin/isatest-check
2005-12-01 kleing 2005-12-01 typo
2005-11-25 kleing 2005-11-25 send more information with test-takes-too-long message (which tests are still running)
2005-10-14 isatest 2005-10-14 longer time out for test (kleing)
2005-06-24 kleing 2005-06-24 shortened time out by 3h (gives up at 12:00h now). test should be finished by 10:00h usually.
2005-06-21 kleing 2005-06-21 fix 'give up waiting message' (logs of running processes are not attached)
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