| 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
|
| Tue, 06 May 2003 09:23:13 +0200 |
kleing |
use /usr/stud/isatest as home for all platforms (macbroy33 has no /home/stud/..)
|
file |
diff |
annotate
|
| Fri, 25 Apr 2003 15:17:36 +0200 |
kleing |
no need to be nice everywhere
|
file |
diff |
annotate
|
| Sun, 06 Apr 2003 21:16:50 +0200 |
kleing |
use 2 processors on sunbroy1
|
file |
diff |
annotate
|
| Fri, 28 Feb 2003 14:11:54 +0100 |
isatest |
case distinction on host for makefile flags
|
file |
diff |
annotate
|
| Tue, 30 Jul 2002 10:29:34 +0200 |
isatest |
- changed date format for proper lexicographical ordering
|
file |
diff |
annotate
|
| Mon, 15 Jul 2002 15:28:51 +0200 |
isatest |
mail address update
|
file |
diff |
annotate
|
| Tue, 09 Jul 2002 11:46:36 +0200 |
isatest |
send email plaform independently
|
file |
diff |
annotate
|
| Mon, 24 Jun 2002 16:33:43 +0200 |
isatest |
email sending
|
file |
diff |
annotate
|
| Fri, 21 Jun 2002 15:39:19 +0200 |
isatest |
included masterlog file
|
file |
diff |
annotate
|
| Thu, 20 Jun 2002 22:17:28 +0200 |
kleing |
tuned
|
file |
diff |
annotate
|
| Thu, 20 Jun 2002 22:17:15 +0200 |
kleing |
tuned
|
file |
diff |
annotate
|
| Thu, 20 Jun 2002 21:45:14 +0200 |
kleing |
for nightly test builds
|
file |
diff |
annotate
|