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.
spaces not allowed, unfortunately
authorhaftmann
Wed, 16 Dec 2009 14:24:18 +0100
changeset 34092 3a77e8862e59
parent 34091 3aea0882879f
child 34094 61e19e96828f
spaces not allowed, unfortunately
Admin/user-aliases file | annotate | diff | comparison | revisions 
--- a/Admin/user-aliases	Wed Dec 16 14:15:24 2009 +0100
+++ b/Admin/user-aliases	Wed Dec 16 14:24:18 2009 +0100
@@ -7,5 +7,3 @@
 immler@in.tum.de immler
 tsewell@rubicon.NSW.bigpond.net.au tsewell
 tsewell@nicta.com.au tsewell
-Timothy Bourke tbourke
-
isabelle