isabelle: Admin/user-aliases@7496258e44e4 (annotated)

29561 d8c2712749b8 lcp = paulson haftmann parents: 29555 diff changeset	1	lcp paulson
29554 7e5e5ebb7bf7 added churn script haftmann parents: diff changeset	2	norbert.schirmer@web.de schirmer
34091 3aea0882879f user aliasses haftmann parents: 32766 diff changeset	3	schirmer@in.tum.de schirmer
29555 8938f89973f3 corrected user aliases haftmann parents: 29554 diff changeset	4	urbanc@in.tum.de urbanc
30491 772e95280456 more user aliases; wenzelm parents: 29561 diff changeset	5	nipkow@lapbroy100.local nipkow
772e95280456 more user aliases; wenzelm parents: 29561 diff changeset	6	chaieb@chaieb-laptop chaieb
772e95280456 more user aliases; wenzelm parents: 29561 diff changeset	7	immler@in.tum.de immler
32766 87491cac8b83 aliases for Thomas Sewell; wenzelm parents: 30491 diff changeset	8	tsewell@rubicon.NSW.bigpond.net.au tsewell
87491cac8b83 aliases for Thomas Sewell; wenzelm parents: 30491 diff changeset	9	tsewell@nicta.com.au tsewell
40269 151fef652324 added user aliasses (still unclear how to specify names with whitespace contained) haftmann parents: 34092 diff changeset	10	kaliszyk@in.tum.de kaliszyk
151fef652324 added user aliasses (still unclear how to specify names with whitespace contained) haftmann parents: 34092 diff changeset	11	Philipp\ Meyer meyerp
151fef652324 added user aliasses (still unclear how to specify names with whitespace contained) haftmann parents: 34092 diff changeset	12	Timothy\ Bourke tbourke
151fef652324 added user aliasses (still unclear how to specify names with whitespace contained) haftmann parents: 34092 diff changeset	13	noschinl@in.tum.de noschinl
151fef652324 added user aliasses (still unclear how to specify names with whitespace contained) haftmann parents: 34092 diff changeset	14	brianh@cs.pdx.edu huffman

author	haftmann
	Thu, 18 Aug 2011 14:01:06 +0200
changeset 44279	7496258e44e4
parent 40269	151fef652324
child 45071	aa9fe909d322
permissions	-rw-r--r--