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.
more user aliases;
authorwenzelm
Mon, 16 Apr 2012 23:23:08 +0200
changeset 47500 5024b37c489c
parent 47499 4b0daca2bf88
child 47501 0b9294e093db
more user aliases;
Admin/user-aliases file | annotate | diff | comparison | revisions 
--- a/Admin/user-aliases	Mon Apr 16 23:07:40 2012 +0200
+++ b/Admin/user-aliases	Mon Apr 16 23:23:08 2012 +0200
@@ -9,7 +9,10 @@
 tsewell@nicta.com.au tsewell
 kaliszyk@in.tum.de kaliszyk
 Philipp\ Meyer meyerp
-Timothy\ Bourke tbourke
 noschinl@in.tum.de noschinl
 brianh@cs.pdx.edu huffman
 nik sultana
+griff Christian Sternagel
+cezarykaliszyk@gmail.com kaliszyk
+hellerar@macbroy24.informatik.tu-muenchen.de hellerar
+tbourke Timothy Bourke
isabelle