summaryrefslogtreecommitdiff
path: root/test/spass/AUTHORS
blob: c373ede86cf15698408caf6efce3729d9d4c90ba (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Current:
========

Christoph Weidenbach		<weidenb@mpi-sb.mpg.de>
Uwe Brahm			<brahm@mpi-sb.mpg.de>
Thomas Hillenbrand		<hillen@mpi-sb.mpg.de>
Dalibor Topic			<topic@mpi-sb.mpg.de>


Former:
=======

Bijan Afshordel			<afshorde@mpi-sb.mpg.de>
Christof Brinker		<chbr@mpi-sb.mpg.de>
Christian Cohrs			<cohrs@mpi-sb.mpg.de>
Thorsten Engel			<engel@mpi-sb.mpg.de>
Bernd Gaede			<gaede@mpi-sb.mpg.de>
Peter Graf			<graf@mpi-sb.mpg.de>
Georg Jung			<gjung@mpi-sb.mpg.de>
Christoph Meyer			<meyer@mpi-sb.mpg.de>
Georg Rock			<rock@mpi-sb.mpg.de>
Christian Theobalt		<theobalt@mpi-sb.mpg.de>