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.
user aliasses
authorhaftmann
Wed, 16 Dec 2009 14:15:24 +0100
changeset 34091 3aea0882879f
parent 34090 7f7297f348fe
child 34092 3a77e8862e59
child 34093 3d654643cf56
user aliasses
Admin/user-aliases file | annotate | diff | comparison | revisions 
--- a/Admin/user-aliases	Mon Dec 14 21:28:28 2009 +0100
+++ b/Admin/user-aliases	Wed Dec 16 14:15:24 2009 +0100
@@ -1,8 +1,11 @@
 lcp paulson
 norbert.schirmer@web.de schirmer
+schirmer@in.tum.de schirmer
 urbanc@in.tum.de urbanc
 nipkow@lapbroy100.local nipkow
 chaieb@chaieb-laptop chaieb
 immler@in.tum.de immler
 tsewell@rubicon.NSW.bigpond.net.au tsewell
 tsewell@nicta.com.au tsewell
+Timothy Bourke tbourke
+
isabelle