From 1f3bc5756940a7d58b32a549624a0fd10d0f52fe Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 17 Nov 1999 14:03:09 +0000
Subject: Updated

---
 INSTALL | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index 481a3808..e562f34c 100644
--- a/INSTALL
+++ b/INSTALL
@@ -26,6 +26,8 @@ Proof General mode will be entered.
 In case of difficulty, please check the documentation in doc/, the
 notes below, and the file BUGS.  If this doesn't help, then contact us
 via the address below.
+				- David Aspinall.
+
    
    Proof General maintainer <proofgen@dcs.ed.ac.uk>
    LFCS,
-- 
cgit v1.2.3