blob: c272560407e2399bb90b328a84141d0d9ef6ec18 (
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)
Makarius Wenzel (isar)
Previous Authors:
Healfdene Goguen (coq, generic, doc)
Thomas Kleymann (lego, doc, generic)
Patrick Loiseleur (coq)
Dilip Sequeira (lego)
David von Oheimb (x-symbol)
Assistance also from:
Graham Dutton (web support)
|