blob: a0877e36ed56bcb440ed59c39ea7928be3d45937 (
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)
Graham Dutton (web support)
|
