Current Authors/Maintainers:

   David Aspinall <da@dcs.ed.ac.uk>	
     doc, etc, generic, html, images, isa
   Markus Wenzel <wenzelm@informatik.tu-muenchen.de>
     isar
   Paul Callaghan <P.C.Callaghan@durham.ac.uk>
     plastic, lego

>> Position vacant for Coq maintainer, offers welcome!
 
Previous Authors:

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