Admin/isatest-makedist
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