From d79684fa05d5970036aa92249aa1905a5c6ead12 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 24 Aug 1999 18:13:58 +0000
Subject: Updated

---
 AUTHORS | 23 ++++++++++++-----------
 1 file changed, 12 insertions(+), 11 deletions(-)

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
index 3816baf0..68eb74ec 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,18 +1,19 @@
 Current Authors/Maintainers:
 
- David Aspinall <da@dcs.ed.ac.uk>	
-   doc, etc, generic, html, images, isa
- Patrick Loiseleur <Patrick.Loiseleur@lri.fr>    
-   coq
- Markus Wenzel <wenzelm@informatik.tu-muenchen.de>
-   isar
- Paul Callaghan <P.C.Callaghan@durham.ac.uk>
-   plastic, lego
+   David Aspinall <da@dcs.ed.ac.uk>	
+     doc, etc, generic, html, images, isa
+   Markus Wenzel <wenzelm@informatik.tu-muenchen.de>
+     isar
+   Paul Callaghan <P.C.Callaghan@durham.ac.uk>
+     plastic, lego
 
+>> Position vacant for Coq maintainer, offers welcome!
+ 
 Previous Authors:
 
-  Thomas Kleymann   (lego, doc, generic)
-  Healfdene Goguen  (coq, generic, doc)
-  Dilip Sequeira    (lego)
+   Thomas Kleymann   (lego, doc, generic)
+   Healfdene Goguen  (coq, generic, doc)
+   Dilip Sequeira    (lego)
+   Patrick Loiseleur (coq)
 
 
-- 
cgit v1.2.3