isabelle: Admin/user-aliases@8f4a332500e4 (annotated)

29561 d8c2712749b8 lcp = paulson haftmann parents: 29555 diff changeset	1	lcp paulson
55135 bc8cf4312ea7 more user aliases; wenzelm parents: 48257 diff changeset	2	lp15@cam.ac.uk paulson
29554 7e5e5ebb7bf7 added churn script haftmann parents: diff changeset	3	norbert.schirmer@web.de schirmer
34091 3aea0882879f user aliasses haftmann parents: 32766 diff changeset	4	schirmer@in.tum.de schirmer
29555 8938f89973f3 corrected user aliases haftmann parents: 29554 diff changeset	5	urbanc@in.tum.de urbanc
30491 772e95280456 more user aliases; wenzelm parents: 29561 diff changeset	6	nipkow@lapbroy100.local nipkow
772e95280456 more user aliases; wenzelm parents: 29561 diff changeset	7	chaieb@chaieb-laptop chaieb
772e95280456 more user aliases; wenzelm parents: 29561 diff changeset	8	immler@in.tum.de immler
32766 87491cac8b83 aliases for Thomas Sewell; wenzelm parents: 30491 diff changeset	9	tsewell@rubicon.NSW.bigpond.net.au tsewell
87491cac8b83 aliases for Thomas Sewell; wenzelm parents: 30491 diff changeset	10	tsewell@nicta.com.au tsewell
48257 f2ad77fd638d more user aliases; wenzelm parents: 47500 diff changeset	11	thomas.sewell@nicta.com.au tsewell
40269 151fef652324 added user aliasses (still unclear how to specify names with whitespace contained) haftmann parents: 34092 diff changeset	12	kaliszyk@in.tum.de kaliszyk
151fef652324 added user aliasses (still unclear how to specify names with whitespace contained) haftmann parents: 34092 diff changeset	13	Philipp\ Meyer meyerp
151fef652324 added user aliasses (still unclear how to specify names with whitespace contained) haftmann parents: 34092 diff changeset	14	noschinl@in.tum.de noschinl
57853 ee908fccabc2 more user aliases; wenzelm parents: 55135 diff changeset	15	Lars Noschinski\ <noschinl@in.tum.de> noschinl
40269 151fef652324 added user aliasses (still unclear how to specify names with whitespace contained) haftmann parents: 34092 diff changeset	16	brianh@cs.pdx.edu huffman
45071 aa9fe909d322 more user aliases; wenzelm parents: 40269 diff changeset	17	nik sultana
47500 5024b37c489c more user aliases; wenzelm parents: 45071 diff changeset	18	griff Christian Sternagel
5024b37c489c more user aliases; wenzelm parents: 45071 diff changeset	19	cezarykaliszyk@gmail.com kaliszyk
5024b37c489c more user aliases; wenzelm parents: 45071 diff changeset	20	hellerar@macbroy24.informatik.tu-muenchen.de hellerar
5024b37c489c more user aliases; wenzelm parents: 45071 diff changeset	21	tbourke Timothy Bourke
48257 f2ad77fd638d more user aliases; wenzelm parents: 47500 diff changeset	22	gerwin.klein@nicta.com.au kleing
f2ad77fd638d more user aliases; wenzelm parents: 47500 diff changeset	23	Gerwin\ Klein\ <gerwin.klein@nicta.com.au> kleing

author	wenzelm
	Mon, 18 Aug 2014 12:17:31 +0200
changeset 57978	8f4a332500e4
parent 57853	ee908fccabc2
child 59654	e327a9ae2d61
permissions	-rw-r--r--