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.
switched to atbroy51, removed markus from email list
authorisatest
Sat, 26 Oct 2002 13:05:27 +0200
changeset 13680 a6ce43a59d4a
parent 13679 2ebad1cb045f
child 13681 06cce9be31a4
switched to atbroy51, removed markus from email list
Admin/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-makedist	Fri Oct 25 10:47:47 2002 +0200
+++ b/Admin/isatest-makedist	Sat Oct 26 13:05:27 2002 +0200
@@ -11,7 +11,7 @@
 
 
 ## global settings
-MAILTO="kleing@in.tum.de nipkow@in.tum.de wenzelm@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk"
+MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk"
 
 TMP=/tmp/isatest-makedist.$$
 MAIL=~/bin/pmail
@@ -24,7 +24,7 @@
 TAR=gtar
 
 SUN=sunbroy2
-AT=atbroy37
+AT=atbroy51
 
 SSH="ssh -f"
isabelle