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