Thu, 30 Jun 2005 08:23:20 +0200 |
kleing |
use only 1 CPU on MacOS 10.4.1
|
file |
diff |
annotate
|
Sat, 25 Jun 2005 12:37:07 +0200 |
kleing |
use both processors on macbroy5
|
file |
diff |
annotate
|
Fri, 27 May 2005 01:21:50 +0200 |
kleing |
log more failure types
|
file |
diff |
annotate
|
Fri, 27 May 2005 01:09:44 +0200 |
kleing |
put global isatest settings in one file, sourced by the other scripts
|
file |
diff |
annotate
|
Fri, 29 Apr 2005 13:35:55 +0200 |
kleing |
put 8h time limit on test
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Fri, 05 Mar 2004 07:46:07 +0100 |
kleing |
do not remove heaps, used for afp test
|
file |
diff |
annotate
|
Sat, 06 Dec 2003 04:32:28 +0100 |
kleing |
revert to 1.18, changed Distribution/lib/Tools/makeall instead
|
file |
diff |
annotate
|
Sat, 06 Dec 2003 04:29:30 +0100 |
kleing |
make Pure first to avoid race conditions on multi processor machines
|
file |
diff |
annotate
|
Sun, 18 May 2003 15:28:41 +0200 |
kleing |
attach log files
|
file |
diff |
annotate
|
Mon, 12 May 2003 14:49:08 +0200 |
kleing |
be nice on sunbroy2
|
file |
diff |
annotate
|
Fri, 09 May 2003 14:21:07 +0200 |
kleing |
tuned
|
file |
diff |
annotate
|
Fri, 09 May 2003 12:02:57 +0200 |
kleing |
tuned
|
file |
diff |
annotate
|
Fri, 09 May 2003 11:54:04 +0200 |
kleing |
tuned
|
file |
diff |
annotate
|
Fri, 09 May 2003 11:26:17 +0200 |
kleing |
leave error messages in error.log, send only one email for all platforms
|
file |
diff |
annotate
|