Admin/isatest-makedist
2005-05-27 kleing 2005-05-27 put global isatest settings in one file, sourced by the other scripts
2005-05-23 haftmann 2005-05-23 added email
2005-05-08 wenzelm 2005-05-08 MAILTO: makarius@sketis.net
2005-04-26 isatest 2005-04-26 test sml/nj devel only for the moment
2005-04-22 isatest 2005-04-22 run smlnj devel on sunbroy2 and stable on atbroy51 until faster machines are around
2005-04-22 isatest 2005-04-22 wakeonlan for macbroy33
2005-04-22 kleing 2005-04-22 test stable and devel version of smlnj
2005-01-13 berghofe 2005-01-13 Added ChangeLog
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 more cleanup
2003-05-15 kleing 2003-05-15 give tests time to copy settings
2003-05-09 kleing 2003-05-09 only make development snapshots for successful tests
2003-05-09 kleing 2003-05-09 var/run -> var/running
2003-05-09 kleing 2003-05-09 add cleanup of old error log and test-still-running files
2003-05-06 kleing 2003-05-06 use /usr/stud/isatest as home for all platforms (macbroy33 has no /home/stud/..)
2003-05-05 kleing 2003-05-05 add mac test
2003-04-06 kleing 2003-04-06 run on sunbroy1, too
2003-02-28 isatest 2003-02-28 generate nightly devel snapshot
2002-10-26 isatest 2002-10-26 switched to atbroy51, removed markus from email list
2002-07-30 isatest 2002-07-30 changed date format for proper lexicographical ordering
2002-07-15 isatest 2002-07-15 mail address update
2002-06-24 isatest 2002-06-24 email sending
2002-06-21 isatest 2002-06-21 cleanup old isabelle-* dirs before test start included master log file
2002-06-20 isatest 2002-06-20 tuned
2002-06-20 kleing 2002-06-20 tuned
2002-06-20 kleing 2002-06-20 for nightly test builds