blob: d430bd57adfd2cd85a55f45d3a1796a87fe0a5d2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
Current Authors/Maintainers:
David Aspinall (all)
Pierre Courtieu (coq)
Christoph Raffalli (phox)
Makarius Wenzel (isar)
Previous Authors:
Stefan Berghofer (isar)
Paul Callaghan (plastic,lego)
Healfdene Goguen (coq, generic, doc)
Thomas Kleymann (lego, doc, generic)
Patrick Loiseleur (coq)
David von Oheimb (x-symbol)
Dilip Sequeira (lego)
Graham Dutton (web support)
|