From 2f4863d97c0fb93a56b838e4a99564101597a81f Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 15 Jan 2008 16:11:02 +0000
Subject: Updated.

---
 AUTHORS | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
index ef4241ef..06b13056 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,18 +1,19 @@
 Current Authors/Maintainers:
 
    David Aspinall     (all)
-   Markus Wenzel      (isar)
-   Stefan Berghofer   (isar)
    Paul Callaghan     (plastic,lego)
+   Stefan Berghofer   (isar)
    Pierre Courtieu    (coq)
    Christoph Raffalli (phox)
+   Markarius Wenzel   (isar)
  
 Previous Authors:
 
-   Thomas Kleymann   (lego, doc, generic)
    Healfdene Goguen  (coq, generic, doc)
-   Dilip Sequeira    (lego)
+   Thomas Kleymann   (lego, doc, generic)
    Patrick Loiseleur (coq)
+   Dilip Sequeira    (lego)
+
 
 Assistance also from:
 
-- 
cgit v1.2.3