Admin/user-aliases
author wenzelm
Wed, 16 Mar 2016 22:19:08 +0100
changeset 62645 a2351f82bc48
parent 60419 7c2404ca7f49
child 64880 3f36c53aa105
permissions -rw-r--r--
eliminated spurious Unicode, which is in conflict with Isabelle symbol interpretation;

lcp = paulson
lp15@cam.ac.uk = paulson
norbert.schirmer@web.de = schirmer
schirmer@in.tum.de = schirmer
urbanc@in.tum.de = urbanc
nipkow@lapbroy100.local = nipkow
chaieb@chaieb-laptop = chaieb
immler@in.tum.de = immler
tsewell@rubicon.NSW.bigpond.net.au = tsewell
tsewell@nicta.com.au = tsewell
thomas.sewell@nicta.com.au = tsewell
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
cezarykaliszyk@gmail.com = kaliszyk
hellerar@macbroy24.informatik.tu-muenchen.de = hellerar
tbourke = Timothy Bourke
gerwin.klein@nicta.com.au = kleing
Gerwin Klein <gerwin.klein@nicta.com.au> = kleing
Manuel Eberl = eberlm
Mathias.Fleury@mpi-inf.mpg.de = fleury