Admin/isatest-check
2005-12-01 kleing typo
2005-11-25 kleing send more information with test-takes-too-long message
2005-10-14 isatest longer time out for test (kleing)
2005-06-24 kleing shortened time out by 3h (gives up at 12:00h now).
2005-06-20 kleing fix 'give up waiting message' (logs of running processes are not attached)
2005-06-11 wenzelm fixed spelling;
2005-06-02 kleing reduced timeout, send logs also when test taking too long
2005-05-26 kleing put global isatest settings in one file, sourced by the other scripts
2005-05-08 wenzelm MAILTO: makarius@sketis.net
2005-04-30 isatest export DISTPREFIX to devel page Makefile
2005-04-29 kleing move isadist to ~/tmp/
2004-06-21 kleing Merged in license change from Isabelle2004
2003-08-27 skalberg Added skalberg to recepients, changed admin from kleing to berghofe.
2003-05-18 kleing fix typo
2003-05-18 kleing attach log files
2003-05-18 kleing attach log files
2003-05-09 kleing only make development snapshots for successful tests
2003-05-09 kleing fixes
2003-05-09 kleing var/run -> var/running
2003-05-09 kleing typo
2003-05-09 kleing check for error log, send mail if exists
less more (0) tip