Admin/isatest-check
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