aboutsummaryrefslogtreecommitdiffhomepage
path: root/AUTHORS
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-11-17 14:03:09 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-11-17 14:03:09 +0000
commit1f3bc5756940a7d58b32a549624a0fd10d0f52fe (patch)
treeb02937e063cff927fe710e6d1a39376fd7c78617 /AUTHORS
parentdbc91730ae55b4e118c093b00f2ba1863360ad1e (diff)
Updated
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS2
1 files changed, 1 insertions, 1 deletions
diff --git a/AUTHORS b/AUTHORS
index 0be05ffe..15b6804c 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,7 +1,7 @@
Current Authors/Maintainers:
David Aspinall <da@dcs.ed.ac.uk>
- doc, etc, generic, html, images, isa
+ doc, etc, generic, html, images, isa, demoisa
Markus Wenzel <wenzelm@informatik.tu-muenchen.de>
isar
Paul Callaghan <P.C.Callaghan@durham.ac.uk>