aboutsummaryrefslogtreecommitdiffhomepage
path: root/AUTHORS
blob: ef4241ef8c68e1bf69cb5646fd3317b5363ad574 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
Current Authors/Maintainers:

   David Aspinall     (all)
   Markus Wenzel      (isar)
   Stefan Berghofer   (isar)
   Paul Callaghan     (plastic,lego)
   Pierre Courtieu    (coq)
   Christoph Raffalli (phox)
 
Previous Authors:

   Thomas Kleymann   (lego, doc, generic)
   Healfdene Goguen  (coq, generic, doc)
   Dilip Sequeira    (lego)
   Patrick Loiseleur (coq)

Assistance also from:

   David von Oheimb  (x-symbol)