Admin/isatest-makeall
2005-09-19 kleing 2005-09-19 update usage message
2005-06-30 kleing 2005-06-30 use only 1 CPU on MacOS 10.4.1
2005-06-25 kleing 2005-06-25 use both processors on macbroy5
2005-05-27 kleing 2005-05-27 log more failure types
2005-05-27 kleing 2005-05-27 put global isatest settings in one file, sourced by the other scripts
2005-04-29 kleing 2005-04-29 put 8h time limit on test
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-03-05 kleing 2004-03-05 do not remove heaps, used for afp test
2003-12-06 kleing 2003-12-06 revert to 1.18, changed Distribution/lib/Tools/makeall instead
2003-12-06 kleing 2003-12-06 make Pure first to avoid race conditions on multi processor machines
2003-05-18 kleing 2003-05-18 attach log files
2003-05-12 kleing 2003-05-12 be nice on sunbroy2
2003-05-09 kleing 2003-05-09 tuned
2003-05-09 kleing 2003-05-09 tuned
2003-05-09 kleing 2003-05-09 tuned
2003-05-09 kleing 2003-05-09 leave error messages in error.log, send only one email for all platforms
2003-05-06 kleing 2003-05-06 use /usr/stud/isatest as home for all platforms (macbroy33 has no /home/stud/..)
2003-04-25 kleing 2003-04-25 no need to be nice everywhere
2003-04-06 kleing 2003-04-06 use 2 processors on sunbroy1
2003-02-28 isatest 2003-02-28 case distinction on host for makefile flags
2002-07-30 isatest 2002-07-30 - changed date format for proper lexicographical ordering - send tail of log in email
2002-07-15 isatest 2002-07-15 mail address update
2002-07-09 isatest 2002-07-09 send email plaform independently
2002-06-24 isatest 2002-06-24 email sending
2002-06-21 isatest 2002-06-21 included masterlog file
2002-06-20 kleing 2002-06-20 tuned
2002-06-20 kleing 2002-06-20 tuned
2002-06-20 kleing 2002-06-20 for nightly test builds