Admin/user-aliases
author wenzelm
Fri Mar 07 11:46:26 2014 +0100 (2014-03-07)
changeset 55974 c835a9379026
parent 55135 bc8cf4312ea7
child 57853 ee908fccabc2
permissions -rw-r--r--
more official const syntax: avoid educated guessing by Syntax_Phases.decode_term;
haftmann@29561
     1
lcp paulson
wenzelm@55135
     2
lp15@cam.ac.uk paulson
haftmann@29554
     3
norbert.schirmer@web.de schirmer
haftmann@34091
     4
schirmer@in.tum.de schirmer
haftmann@29555
     5
urbanc@in.tum.de urbanc
wenzelm@30491
     6
nipkow@lapbroy100.local nipkow
wenzelm@30491
     7
chaieb@chaieb-laptop chaieb
wenzelm@30491
     8
immler@in.tum.de immler
wenzelm@32766
     9
tsewell@rubicon.NSW.bigpond.net.au tsewell
wenzelm@32766
    10
tsewell@nicta.com.au tsewell
wenzelm@48257
    11
thomas.sewell@nicta.com.au tsewell
haftmann@40269
    12
kaliszyk@in.tum.de kaliszyk
haftmann@40269
    13
Philipp\ Meyer meyerp
haftmann@40269
    14
noschinl@in.tum.de noschinl
haftmann@40269
    15
brianh@cs.pdx.edu huffman
wenzelm@45071
    16
nik sultana
wenzelm@47500
    17
griff Christian Sternagel
wenzelm@47500
    18
cezarykaliszyk@gmail.com kaliszyk
wenzelm@47500
    19
hellerar@macbroy24.informatik.tu-muenchen.de hellerar
wenzelm@47500
    20
tbourke Timothy Bourke
wenzelm@48257
    21
gerwin.klein@nicta.com.au kleing
wenzelm@48257
    22
Gerwin\ Klein\ <gerwin.klein@nicta.com.au> kleing