blob: 06b130561f011d519c515e4e95fdc790ed494984 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
Current Authors/Maintainers:
David Aspinall (all)
Paul Callaghan (plastic,lego)
Stefan Berghofer (isar)
Pierre Courtieu (coq)
Christoph Raffalli (phox)
Markarius Wenzel (isar)
Previous Authors:
Healfdene Goguen (coq, generic, doc)
Thomas Kleymann (lego, doc, generic)
Patrick Loiseleur (coq)
Dilip Sequeira (lego)
Assistance also from:
David von Oheimb (x-symbol)
|