From bb6ee1c6c5042ea5a76ffbf9ac767a85590f20c8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 10 Oct 2010 23:15:26 +0000
Subject: Update authors list (should have been in PG 4.0)

---
 AUTHORS | 20 ++++++++------------
 1 file changed, 8 insertions(+), 12 deletions(-)

diff --git a/AUTHORS b/AUTHORS
index c2725604..d430bd57 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,21 +1,17 @@
 Current Authors/Maintainers:
 
    David Aspinall     (all)
-   Paul Callaghan     (plastic,lego)
-   Stefan Berghofer   (isar)
    Pierre Courtieu    (coq)
    Christoph Raffalli (phox)
    Makarius Wenzel    (isar)
  
 Previous Authors:
 
-   Healfdene Goguen  (coq, generic, doc)
-   Thomas Kleymann   (lego, doc, generic)
-   Patrick Loiseleur (coq)
-   Dilip Sequeira    (lego)
-   David von Oheimb  (x-symbol)
-
-Assistance also from:
-
-   Graham Dutton     (web support)
-
+   Stefan Berghofer   (isar)
+   Paul Callaghan     (plastic,lego)
+   Healfdene Goguen   (coq, generic, doc)
+   Thomas Kleymann    (lego, doc, generic)
+   Patrick Loiseleur  (coq)
+   David von Oheimb   (x-symbol)
+   Dilip Sequeira     (lego)
+   Graham Dutton      (web support)
-- 
cgit v1.2.3