| Tue, 28 Nov 2006 21:59:45 +0100 |
isatest |
go back to fixed atbroy51, fix at-poly-e path settings
|
file |
diff |
annotate
|
| Tue, 21 Nov 2006 04:30:17 +0100 |
kleing |
run poly-4.9.1 as stable and poly-4.2.0 as experimental on at
|
file |
diff |
annotate
|
| Mon, 20 Nov 2006 11:51:10 +0100 |
kleing |
start at-sml earlier and on different machine, remove sun-sml test (takes too long)
|
file |
diff |
annotate
|
| Mon, 13 Nov 2006 22:21:09 +0100 |
kleing |
atbroy51 broke down, switch to atbroy9
|
file |
diff |
annotate
|
| Tue, 17 Oct 2006 02:40:21 +0200 |
kleing |
macbroy6 still has non-standard setup
|
file |
diff |
annotate
|
| Sun, 15 Oct 2006 12:16:20 +0200 |
isatest |
add experimental macbroy6 (intel-darwin)
|
file |
diff |
annotate
|
| Sun, 15 Oct 2006 12:03:57 +0200 |
isatest |
add experimental at64 poly-4.9.1 test on atbroy101
|
file |
diff |
annotate
|
| Sat, 05 Aug 2006 00:52:17 +0200 |
isatest |
use atbroy101 instead of atbroy98 (freezes up)
|
file |
diff |
annotate
|
| Wed, 05 Jul 2006 23:51:22 +0200 |
kleing |
make sure $DISTPREFIX exists before calling makedist
|
file |
diff |
annotate
|
| Thu, 02 Feb 2006 02:02:00 +0100 |
kleing |
add 64bit atbroy98 platform
|
file |
diff |
annotate
|
| Thu, 22 Sep 2005 00:30:31 +0200 |
isatest |
only show trunk in Changelog (kleing)
|
file |
diff |
annotate
|
| Thu, 30 Jun 2005 08:23:47 +0200 |
kleing |
test sml-dev on mac as well
|
file |
diff |
annotate
|
| Sat, 25 Jun 2005 02:43:43 +0200 |
kleing |
switch mac test to macbroy5
|
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
|
| Mon, 23 May 2005 12:09:30 +0200 |
haftmann |
added email
|
file |
diff |
annotate
|
| Sun, 08 May 2005 22:18:12 +0200 |
wenzelm |
MAILTO: makarius@sketis.net
|
file |
diff |
annotate
|
| Tue, 26 Apr 2005 10:29:36 +0200 |
isatest |
test sml/nj devel only for the moment
|
file |
diff |
annotate
|
| Fri, 22 Apr 2005 14:15:01 +0200 |
isatest |
run smlnj devel on sunbroy2 and stable on atbroy51 until faster machines are around
|
file |
diff |
annotate
|
| Fri, 22 Apr 2005 00:34:15 +0200 |
isatest |
wakeonlan for macbroy33
|
file |
diff |
annotate
|
| Fri, 22 Apr 2005 00:31:30 +0200 |
kleing |
test stable and devel version of smlnj
|
file |
diff |
annotate
|
| Thu, 13 Jan 2005 14:56:37 +0100 |
berghofe |
Added ChangeLog
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Wed, 27 Aug 2003 18:22:34 +0200 |
skalberg |
Added skalberg to recepients, changed admin from kleing to berghofe.
|
file |
diff |
annotate
|
| 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
|