diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 14:57:10 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 14:57:10 +0000 |
| commit | 4162624976e6339d0a835f8ab3d213da29f63647 (patch) | |
| tree | a1146065e1a9164c30fcaf7635ce36dd309a2ab9 /AUTHORS | |
| parent | 08ab36ffac1ca711b5630dfc7e1d8a6cc8486381 (diff) | |
Updates for new web pages, todo list.
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 25 |
1 files changed, 11 insertions, 14 deletions
@@ -1,21 +1,18 @@ --*- outline -*- +Current Authors/Maintainers: -* Current Authors/Maintainers -** David Aspinall <da@dcs.ed.ac.uk> + David Aspinall <da@dcs.ed.ac.uk> doc, etc, generic, html, images, isa -** Patrick Loiseleur <Patrick.Loiseleur@lri.fr> + Patrick Loiseleur <Patrick.Loiseleur@lri.fr> coq -** Markus Wenzel <wenzelm@informatik.tu-muenchen.de> + Markus Wenzel <wenzelm@informatik.tu-muenchen.de> isar -** Paul Callaghan <P.C.Callaghan@durham.ac.uk> - plastic + Paul Callaghan <P.C.Callaghan@durham.ac.uk> + plastic, lego -* Previous Authors: -** Thomas Kleymann - lego, doc, generic -** Healfdene Goguen - coq, generic, doc -** Dilip Sequeira - lego +Previous Authors: + + Thomas Kleymann (lego, doc, generic) + Healfdene Goguen (coq, generic, doc) + Dilip Sequeira (lego) |