diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 16:11:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 16:11:02 +0000 |
| commit | 2f4863d97c0fb93a56b838e4a99564101597a81f (patch) | |
| tree | afb0a6e2454f4e96e80eed6fcaa8b7cf23c9981e /AUTHORS | |
| parent | 0bae76404a77ce9c9214d644a06ba206fea08a8c (diff) | |
Updated.
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -1,18 +1,19 @@ Current Authors/Maintainers: David Aspinall (all) - Markus Wenzel (isar) - Stefan Berghofer (isar) Paul Callaghan (plastic,lego) + Stefan Berghofer (isar) Pierre Courtieu (coq) Christoph Raffalli (phox) + Markarius Wenzel (isar) Previous Authors: - Thomas Kleymann (lego, doc, generic) Healfdene Goguen (coq, generic, doc) - Dilip Sequeira (lego) + Thomas Kleymann (lego, doc, generic) Patrick Loiseleur (coq) + Dilip Sequeira (lego) + Assistance also from: |