1 files changed, 2 insertions, 0 deletions
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,