diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 23:15:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 23:15:26 +0000 |
| commit | bb6ee1c6c5042ea5a76ffbf9ac767a85590f20c8 (patch) | |
| tree | 14ae98df0ee81fd5d741c230d451c4167aa74512 /AUTHORS | |
| parent | 08c725d9bfe6ffab9b1718c7f93c02c258cdd17a (diff) | |
Update authors list (should have been in PG 4.0)
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 20 |
1 files changed, 8 insertions, 12 deletions
@@ -1,21 +1,17 @@ Current Authors/Maintainers: David Aspinall (all) - Paul Callaghan (plastic,lego) - Stefan Berghofer (isar) Pierre Courtieu (coq) Christoph Raffalli (phox) Makarius Wenzel (isar) Previous Authors: - Healfdene Goguen (coq, generic, doc) - Thomas Kleymann (lego, doc, generic) - Patrick Loiseleur (coq) - Dilip Sequeira (lego) - David von Oheimb (x-symbol) - -Assistance also from: - - Graham Dutton (web support) - + 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) |