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
Sat, 24 Sep 2011 10:45:57 +0200
changeset 45071 aa9fe909d322
parent 45070 09cdc4209d25
child 45072 e30442a2b3b2
more user aliases;
Admin/user-aliases file | annotate | diff | comparison | revisions 
--- a/Admin/user-aliases	Sat Sep 24 00:17:32 2011 +0100
+++ b/Admin/user-aliases	Sat Sep 24 10:45:57 2011 +0200
@@ -12,3 +12,4 @@
 Timothy\ Bourke tbourke
 noschinl@in.tum.de noschinl
 brianh@cs.pdx.edu huffman
+nik sultana
isabelle