diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-06-15 14:45:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-15 14:45:31 +0000 |
| commit | 631ac4e5dbe8f52d90bfb4a27d9cfdf6a5376924 (patch) | |
| tree | 4b8c8f064633f7f6b8e6f8aa60e5109ae7390966 /AUTHORS | |
| parent | 4a2029b19a93d5badf60ace74845d718845c732f (diff) | |
List of authors/maintainers.
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS new file mode 100644 index 00000000..6a30ec35 --- /dev/null +++ b/AUTHORS @@ -0,0 +1,21 @@ +-*- outline -*- + +* 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 + +* Previous Authors: +** Thomas Kleymann + lego, doc, generic +** Healfdene Goguen + coq, generic, doc +** Dilip Sequeira + lego + + |