diff options
Diffstat (limited to 'AUTHORS')
-rw-r--r-- | AUTHORS | 23 |
1 files changed, 12 insertions, 11 deletions
@@ -1,18 +1,19 @@ Current Authors/Maintainers: - David Aspinall <da@dcs.ed.ac.uk> - doc, etc, generic, html, images, isa - Patrick Loiseleur <Patrick.Loiseleur@lri.fr> - coq - Markus Wenzel <wenzelm@informatik.tu-muenchen.de> - isar - Paul Callaghan <P.C.Callaghan@durham.ac.uk> - plastic, lego + 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) + Thomas Kleymann (lego, doc, generic) + Healfdene Goguen (coq, generic, doc) + Dilip Sequeira (lego) + Patrick Loiseleur (coq) |