From 4162624976e6339d0a835f8ab3d213da29f63647 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 24 Jun 1999 14:57:10 +0000
Subject: Updates for new web pages, todo list.

---
 AUTHORS | 25 +++++++++++--------------
 1 file changed, 11 insertions(+), 14 deletions(-)

(limited to 'AUTHORS')

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