Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added bulwahn to isatest mailings
authorkrauss
Wed, 04 Nov 2009 09:43:25 +0100
changeset 33433 c0648609f5ba
parent 33432 a9a002f4b715
child 33435 6f825ec18b49
added bulwahn to isatest mailings
Admin/isatest/isatest-settings file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-settings	Wed Nov 04 09:18:46 2009 +0100
+++ b/Admin/isatest/isatest-settings	Wed Nov 04 09:43:25 2009 +0100
@@ -11,7 +11,7 @@
 HOME=/home/isatest
 
 ## send email on failure to
-MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk makarius@sketis.net haftmann@in.tum.de krauss@in.tum.de blanchet@in.tum.de"
+MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk makarius@sketis.net haftmann@in.tum.de krauss@in.tum.de blanchet@in.tum.de bulwahn@in.tum.de"
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log
isabelle