Admin/isatest-makedist
Tue, 28 Nov 2006 21:59:45 +0100 isatest go back to fixed atbroy51, fix at-poly-e path settings
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
Mon, 20 Nov 2006 11:51:10 +0100 kleing start at-sml earlier and on different machine, remove sun-sml test (takes too long)
Mon, 13 Nov 2006 22:21:09 +0100 kleing atbroy51 broke down, switch to atbroy9
Tue, 17 Oct 2006 02:40:21 +0200 kleing macbroy6 still has non-standard setup
Sun, 15 Oct 2006 12:16:20 +0200 isatest add experimental macbroy6 (intel-darwin)
Sun, 15 Oct 2006 12:03:57 +0200 isatest add experimental at64 poly-4.9.1 test on atbroy101
Sat, 05 Aug 2006 00:52:17 +0200 isatest use atbroy101 instead of atbroy98 (freezes up)
Wed, 05 Jul 2006 23:51:22 +0200 kleing make sure $DISTPREFIX exists before calling makedist
Thu, 02 Feb 2006 02:02:00 +0100 kleing add 64bit atbroy98 platform
Thu, 22 Sep 2005 00:30:31 +0200 isatest only show trunk in Changelog (kleing)
Thu, 30 Jun 2005 08:23:47 +0200 kleing test sml-dev on mac as well
Sat, 25 Jun 2005 02:43:43 +0200 kleing switch mac test to macbroy5
Fri, 27 May 2005 01:09:44 +0200 kleing put global isatest settings in one file, sourced by the other scripts
Mon, 23 May 2005 12:09:30 +0200 haftmann added email
Sun, 08 May 2005 22:18:12 +0200 wenzelm MAILTO: makarius@sketis.net
Tue, 26 Apr 2005 10:29:36 +0200 isatest test sml/nj devel only for the moment
Fri, 22 Apr 2005 14:15:01 +0200 isatest run smlnj devel on sunbroy2 and stable on atbroy51 until faster machines are around
Fri, 22 Apr 2005 00:34:15 +0200 isatest wakeonlan for macbroy33
Fri, 22 Apr 2005 00:31:30 +0200 kleing test stable and devel version of smlnj
Thu, 13 Jan 2005 14:56:37 +0100 berghofe Added ChangeLog
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Wed, 27 Aug 2003 18:22:34 +0200 skalberg Added skalberg to recepients, changed admin from kleing to berghofe.
Sun, 18 May 2003 16:16:58 +0200 kleing more cleanup
Thu, 15 May 2003 11:22:54 +0200 kleing give tests time to copy settings
Fri, 09 May 2003 14:15:50 +0200 kleing only make development snapshots for successful tests
Fri, 09 May 2003 12:08:00 +0200 kleing var/run -> var/running
Fri, 09 May 2003 11:54:33 +0200 kleing add cleanup of old error log and test-still-running files
Tue, 06 May 2003 09:23:13 +0200 kleing use /usr/stud/isatest as home for all platforms (macbroy33 has no /home/stud/..)
Mon, 05 May 2003 15:55:56 +0200 kleing add mac test
Sun, 06 Apr 2003 21:14:02 +0200 kleing run on sunbroy1, too
Fri, 28 Feb 2003 14:25:22 +0100 isatest generate nightly devel snapshot
Sat, 26 Oct 2002 13:05:27 +0200 isatest switched to atbroy51, removed markus from email list
Tue, 30 Jul 2002 10:28:38 +0200 isatest changed date format for proper lexicographical ordering
Mon, 15 Jul 2002 15:28:51 +0200 isatest mail address update
Mon, 24 Jun 2002 16:33:43 +0200 isatest email sending
Fri, 21 Jun 2002 15:41:07 +0200 isatest cleanup old isabelle-* dirs before test start
Thu, 20 Jun 2002 22:30:00 +0200 isatest tuned
Thu, 20 Jun 2002 22:17:28 +0200 kleing tuned
Thu, 20 Jun 2002 21:45:14 +0200 kleing for nightly test builds
less more (0) tip