From bd61237990f305615f4d87b7c48a26979f50f03a Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 12 Dec 2007 20:06:54 +0000
Subject: Updated.

---
 AUTHORS | 17 ++++++-----------
 1 file changed, 6 insertions(+), 11 deletions(-)

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
index 394ec937..ef4241ef 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,19 +1,14 @@
 Current Authors/Maintainers:
 
-   David Aspinall <da@dcs.ed.ac.uk>	
-     doc, etc, generic, html, images, isa, demoisa
-   Stefan Berghofer  <sberghofer@informatik.tu-muenchen.de>
-     isar
-   Paul Callaghan <P.C.Callaghan@durham.ac.uk>
-     plastic, lego
-   Pierre Courtieu <courtieu@lri.fr>
-     coq
-   Christoph Raffalli <Christophe.Raffalli@univ-savoie.fr>
-     phox
+   David Aspinall     (all)
+   Markus Wenzel      (isar)
+   Stefan Berghofer   (isar)
+   Paul Callaghan     (plastic,lego)
+   Pierre Courtieu    (coq)
+   Christoph Raffalli (phox)
  
 Previous Authors:
 
-   Markus Wenzel     (isar)
    Thomas Kleymann   (lego, doc, generic)
    Healfdene Goguen  (coq, generic, doc)
    Dilip Sequeira    (lego)
-- 
cgit v1.2.3