Admin/user-aliases
author wenzelm
Thu Feb 28 14:29:54 2013 +0100 (2013-02-28)
changeset 51311 337cfc42c9c8
parent 48257 f2ad77fd638d
child 55135 bc8cf4312ea7
permissions -rw-r--r--
eliminated legacy 'axioms';
     1 lcp paulson
     2 norbert.schirmer@web.de schirmer
     3 schirmer@in.tum.de schirmer
     4 urbanc@in.tum.de urbanc
     5 nipkow@lapbroy100.local nipkow
     6 chaieb@chaieb-laptop chaieb
     7 immler@in.tum.de immler
     8 tsewell@rubicon.NSW.bigpond.net.au tsewell
     9 tsewell@nicta.com.au tsewell
    10 thomas.sewell@nicta.com.au tsewell
    11 kaliszyk@in.tum.de kaliszyk
    12 Philipp\ Meyer meyerp
    13 noschinl@in.tum.de noschinl
    14 brianh@cs.pdx.edu huffman
    15 nik sultana
    16 griff Christian Sternagel
    17 cezarykaliszyk@gmail.com kaliszyk
    18 hellerar@macbroy24.informatik.tu-muenchen.de hellerar
    19 tbourke Timothy Bourke
    20 gerwin.klein@nicta.com.au kleing
    21 Gerwin\ Klein\ <gerwin.klein@nicta.com.au> kleing