From 44d23b5dd998f0e0f18f01a27675e6c49bccfdcc Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 23 Mar 2000 16:38:05 +0000
Subject: Updated to add me.

---
 coq/README | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'coq/README')

diff --git a/coq/README b/coq/README
index b394edd7..0e460271 100644
--- a/coq/README
+++ b/coq/README
@@ -1,7 +1,8 @@
 Coq Proof General
 
-Originally written by Healfdene Goguen.
-Later contributions by Patrick Loiseleur and Pierre Courtieu.
+Originally written by  Healfdene Goguen.
+Later contributions by Patrick Loiseleur, Pierre Courtieu, 
+		       David Aspinall
 
 $Id$
 
-- 
cgit v1.2.3