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 me to isatest email list
authorsultana
Tue, 03 Apr 2012 16:45:44 +0100
changeset 47309 9d02327ede56
parent 47308 9caab698dbe4
child 47310 610d9c212376
added me to isatest email list
Admin/isatest/isatest-settings file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-settings	Tue Apr 03 16:26:48 2012 +0200
+++ b/Admin/isatest/isatest-settings	Tue Apr 03 16:45:44 2012 +0100
@@ -25,7 +25,8 @@
 hoelzl@in.tum.de \
 krauss@in.tum.de \
 noschinl@in.tum.de \
-kuncar@in.tum.de"
+kuncar@in.tum.de \
+ns441@cam.ac.uk"
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log
isabelle