From 631ac4e5dbe8f52d90bfb4a27d9cfdf6a5376924 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 15 Jun 1999 14:45:31 +0000
Subject: List of authors/maintainers.

---
 AUTHORS | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 AUTHORS

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
new file mode 100644
index 00000000..6a30ec35
--- /dev/null
+++ b/AUTHORS
@@ -0,0 +1,21 @@
+-*- outline -*-
+
+*  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
+
+*  Previous Authors:
+** Thomas Kleymann   
+   lego, doc, generic
+** Healfdene Goguen  
+   coq, generic, doc
+** Dilip Sequeira    
+   lego
+
+
-- 
cgit v1.2.3