From 1f3bc5756940a7d58b32a549624a0fd10d0f52fe Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 17 Nov 1999 14:03:09 +0000
Subject: Updated

---
 AUTHORS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'AUTHORS')

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>
-- 
cgit v1.2.3