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