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
Wed, 10 Jun 2015 19:05:19 +0200
changeset 60419 7c2404ca7f49
parent 60418 0bcffc47eaca
child 60420 884f54e01427
more user aliases;
Admin/user-aliases file | annotate | diff | comparison | revisions 
--- a/Admin/user-aliases	Wed Jun 10 18:57:31 2015 +0200
+++ b/Admin/user-aliases	Wed Jun 10 19:05:19 2015 +0200
@@ -21,4 +21,5 @@
 tbourke = Timothy Bourke
 gerwin.klein@nicta.com.au = kleing
 Gerwin Klein <gerwin.klein@nicta.com.au> = kleing
-Manuel Eberl = eberlm
\ No newline at end of file
+Manuel Eberl = eberlm
+Mathias.Fleury@mpi-inf.mpg.de = fleury
isabelle