diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-08-24 18:13:58 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-08-24 18:13:58 +0000 |
| commit | d79684fa05d5970036aa92249aa1905a5c6ead12 (patch) | |
| tree | 15863148ad0547d37e6bb7528d85bff7cece9f25 /AUTHORS | |
| parent | 25dbbfc1d752232d5194513f76b8f98fc4546dca (diff) | |
Updated
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) |