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