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, 04 Aug 2014 10:47:26 +0200
changeset 57853 ee908fccabc2
parent 57852 0ecc524797dc
child 57854 eb8084a65919
more user aliases;
Admin/user-aliases file | annotate | diff | comparison | revisions 
--- a/Admin/user-aliases	Mon Aug 04 07:31:27 2014 +0200
+++ b/Admin/user-aliases	Mon Aug 04 10:47:26 2014 +0200
@@ -12,6 +12,7 @@
 kaliszyk@in.tum.de kaliszyk
 Philipp\ Meyer meyerp
 noschinl@in.tum.de noschinl
+Lars Noschinski\ <noschinl@in.tum.de> noschinl
 brianh@cs.pdx.edu huffman
 nik sultana
 griff Christian Sternagel
isabelle