From 6fdb0edaba66fe8efe8441e10811ac526bcddd1a Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 18 Feb 2003 01:02:04 +0000
Subject: Updated.

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

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
index 0dccdeb4..418f6365 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -2,7 +2,7 @@ Current Authors/Maintainers:
 
    David Aspinall <da@dcs.ed.ac.uk>	
      doc, etc, generic, html, images, isa, demoisa
-   Markus Wenzel <wenzelm@informatik.tu-muenchen.de>
+   Stefan Berghofer  <sberghofer@informatik.tu-muenchen.de>
      isar
    Paul Callaghan <P.C.Callaghan@durham.ac.uk>
      plastic, lego
@@ -13,6 +13,7 @@ Current Authors/Maintainers:
  
 Previous Authors:
 
+   Markus Wenzel     (isar)
    Thomas Kleymann   (lego, doc, generic)
    Healfdene Goguen  (coq, generic, doc)
    Dilip Sequeira    (lego)
-- 
cgit v1.2.3