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)