Admin/isatest/isatest-settings
Wed, 27 Jun 2012 17:33:49 +0200 wenzelm moved crontab to lxbroy2, one of the newer server machines;
Tue, 26 Jun 2012 15:55:02 +0200 wenzelm use macbroy27 instead of macbroy28, which is broken for several weeks already;
Mon, 23 Apr 2012 22:26:22 +0200 wenzelm moved to ~isatest/.bashrc to accomodate AFP;
Tue, 03 Apr 2012 16:45:44 +0100 sultana added me to isatest email list
Fri, 30 Mar 2012 13:12:02 +0200 wenzelm more robust ISABELLE_JDK_HOME settings, based on exisiting JAVA_HOME provided by isatest shell environment (which depends a lot on the host);
Fri, 30 Mar 2012 11:48:24 +0200 wenzelm more explicit isatest environment settings (from private .bashrc);
Sat, 24 Mar 2012 12:22:29 +0100 wenzelm more isatest subscribers;
Sat, 17 Dec 2011 12:51:30 +0100 wenzelm enforce short hostname on all platforms (especially macbroy2);
Sun, 23 Oct 2011 17:12:14 +1100 kleing removed Norbert's email from isatest (bounces)
Fri, 28 Jan 2011 11:26:08 +1100 kleing removed Florian's email from isatest (bounces)
Mon, 09 Aug 2010 11:38:32 +0200 haftmann added Lars Noschinski to isatest report
Wed, 14 Jul 2010 19:10:23 +0100 kleing use different log server (macbroy23 down)
Fri, 06 Nov 2009 12:13:45 +0100 krauss added boehmes and hoelzl to isatest mailings
Wed, 04 Nov 2009 09:43:25 +0100 krauss added bulwahn to isatest mailings
Fri, 12 Jun 2009 20:26:34 +0200 wenzelm eliminated cvs ids;
Sun, 31 May 2009 14:20:54 +0200 wenzelm uniform treatment of shellscript mode;
Mon, 16 Feb 2009 10:11:20 +0100 blanchet Added myself to testing list.
Sat, 11 Oct 2008 03:54:34 +0200 kleing change DISTPREFIX to not use yet another filesystem
Thu, 09 Oct 2008 09:18:32 +0200 kleing do logging to MASTERLOG centrally (avoid multiple writers over NFS as
Sun, 30 Sep 2007 16:53:08 +0200 isatest switch notification email back on
Sun, 30 Sep 2007 16:51:46 +0200 isatest fix shell quoting confusion
Tue, 22 May 2007 13:40:37 +0200 krauss regression tests: send failure reports to krauss@in.tum.de, too
Mon, 05 Mar 2007 22:12:20 +0100 kleing moved all isatest/cron job related files to own directory
less more (0) tip