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.
subscribe for isatest
authortraytel
Thu, 25 Sep 2014 12:27:34 +0200
changeset 58440 07505e95db40
parent 58439 23124b918bfb
child 58441 c1b489999de9
subscribe for isatest
Admin/isatest/isatest-settings file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-settings	Thu Sep 25 09:01:14 2014 +0200
+++ b/Admin/isatest/isatest-settings	Thu Sep 25 12:27:34 2014 +0200
@@ -24,7 +24,8 @@
 krauss@in.tum.de \
 noschinl@in.tum.de \
 kuncar@in.tum.de \
-ns441@cam.ac.uk"
+ns441@cam.ac.uk \
+traytel@in.tum.de"
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log
isabelle