Admin/user-aliases
author wenzelm
Mon Jun 03 20:09:43 2019 +0200 (3 months ago)
changeset 70310 c82f59c47aaf
parent 64880 3f36c53aa105
permissions -rw-r--r--
clarified transfer_morphism: implicit join_certificate, e.g. relevant for complex cascades of morphisms such as class locale interpretation;
haftmann@64880
     1
lukas.bulwahn@gmail.com = bulwahn
haftmann@64880
     2
chaieb@chaieb-laptop = chaieb
haftmann@64880
     3
eberlm@in.tum.de = eberlm
haftmann@64880
     4
Manuel Eberl = eberlm
haftmann@64880
     5
bertram.felgenhauer = felgenhauer
haftmann@64880
     6
bertram.felgenhauer@uibk.ac.at = felgenhauer
haftmann@64880
     7
Mathias.Fleury@mpi-inf.mpg.de = fleury
haftmann@64880
     8
Gerwin Klein <gerwin.klein@nicta.com.au> = kleing
haftmann@64880
     9
hellerar@macbroy24.informatik.tu-muenchen.de = hellerar
haftmann@64880
    10
brianh@cs.pdx.edu = huffman
haftmann@64880
    11
lars.hupel@mytum.de = hupel
haftmann@64880
    12
immler@in.tum.de = immler
haftmann@64880
    13
markus.kaiser@in.tum.de = kaiser
haftmann@64880
    14
cezarykaliszyk@gmail.com = kaliszyk
haftmann@64880
    15
kaliszyk@in.tum.de = kaliszyk
haftmann@64880
    16
gerwin.klein@nicta.com.au = kleing
haftmann@64880
    17
rafal.kolanski@nicta.com.au = kolanski
haftmann@64880
    18
lammich@in.tum.de = lammich
haftmann@64880
    19
Andreas Lochbihler = lochbihler
haftmann@64880
    20
daniel.matichuk@nicta.com.au = matichuk
haftmann@64880
    21
Philipp Meyer = meyerp
haftmann@64880
    22
nipkow@lapbroy100.local = nipkow
haftmann@64880
    23
noschinl@in.tum.de = noschinl
haftmann@64880
    24
Lars Noschinski <noschinl@in.tum.de> = noschinl
haftmann@64880
    25
Stephen W. Nuchia = nuchia
wenzelm@59654
    26
lcp = paulson
wenzelm@59654
    27
lp15@cam.ac.uk = paulson
haftmann@64880
    28
Jean Pichon = pichon
wenzelm@59654
    29
norbert.schirmer@web.de = schirmer
wenzelm@59654
    30
schirmer@in.tum.de = schirmer
haftmann@64880
    31
griff = sternagel
haftmann@64880
    32
Christian Sternagel = sternagel
haftmann@64880
    33
nik = sultana
haftmann@64880
    34
Timothy Bourke = tbourke
haftmann@64880
    35
rene.thiemann@uibk.ac.at = thiemann
wenzelm@59654
    36
thomas.sewell@nicta.com.au = tsewell
haftmann@64880
    37
tsewell@nicta.com.au = tsewell
haftmann@64880
    38
tsewell@rubicon.NSW.bigpond.net.au = tsewell
haftmann@64880
    39
urbanc@in.tum.de = urbanc
haftmann@64880
    40
wimmers@in.tum.de = wimmers