From 6d06073ac1917748f13739d430202064407b00d5 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 1 Oct 1998 17:43:13 +0000
Subject: Updated maintainer tags to remove lego email address.

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

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index a2ab1866..3254236f 100644
--- a/INSTALL
+++ b/INSTALL
@@ -40,6 +40,17 @@ and assistant-specific elisp files are kept in subdirectories of
 proof-home so that the autoload directory calculations are correct.
 
 
+   In case of difficulty, please contact us via the address below.
+   
+   Proof General maintainer <proofgen@dcs.ed.ac.uk>
+   School of Computer Science,
+   Division Of Informatics,
+   University of Edinburgh.
+   Edinburgh.
+   
+   http://www.dcs.ed.ac.uk/home/proofgen
+
+
 ----------------------------------------------------------------------
 
 Customization for Coq
-- 
cgit v1.2.3