Sun, 18 May 2003 16:16:58 +0200 |
kleing |
more cleanup
|
file |
diff |
annotate
|
Thu, 15 May 2003 11:22:54 +0200 |
kleing |
give tests time to copy settings
|
file |
diff |
annotate
|
Fri, 09 May 2003 14:15:50 +0200 |
kleing |
only make development snapshots for successful tests
|
file |
diff |
annotate
|
Fri, 09 May 2003 12:08:00 +0200 |
kleing |
var/run -> var/running
|
file |
diff |
annotate
|
Fri, 09 May 2003 11:54:33 +0200 |
kleing |
add cleanup of old error log and test-still-running files
|
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
|
Mon, 05 May 2003 15:55:56 +0200 |
kleing |
add mac test
|
file |
diff |
annotate
|
Sun, 06 Apr 2003 21:14:02 +0200 |
kleing |
run on sunbroy1, too
|
file |
diff |
annotate
|
Fri, 28 Feb 2003 14:25:22 +0100 |
isatest |
generate nightly devel snapshot
|
file |
diff |
annotate
|
Sat, 26 Oct 2002 13:05:27 +0200 |
isatest |
switched to atbroy51, removed markus from email list
|
file |
diff |
annotate
|
Tue, 30 Jul 2002 10:28:38 +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
|
Mon, 24 Jun 2002 16:33:43 +0200 |
isatest |
email sending
|
file |
diff |
annotate
|
Fri, 21 Jun 2002 15:41:07 +0200 |
isatest |
cleanup old isabelle-* dirs before test start
|
file |
diff |
annotate
|
Thu, 20 Jun 2002 22:30:00 +0200 |
isatest |
tuned
|
file |
diff |
annotate
|
Thu, 20 Jun 2002 22:17:28 +0200 |
kleing |
tuned
|
file |
diff |
annotate
|
Thu, 20 Jun 2002 21:45:14 +0200 |
kleing |
for nightly test builds
|
file |
diff |
annotate
|