aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--INSTALL10
1 files changed, 4 insertions, 6 deletions
diff --git a/INSTALL b/INSTALL
index e9121c15..fddb2981 100644
--- a/INSTALL
+++ b/INSTALL
@@ -26,11 +26,10 @@ those you don't need.
In case of difficulty, please check the documentation in doc/, the
notes below, the README file for each prover, and the file BUGS.
-If none of these files help, then contact us via the address below.
+If none of these files help, then contact me via the address below.
- Proof General maintainer <da+pg-support@inf.ed.ac.uk>
- LFCS,
- Division Of Informatics,
+ David Aspinall <da+pg-support@inf.ed.ac.uk>
+ LFCS, School Of Informatics,
University of Edinburgh.
Edinburgh.
@@ -38,7 +37,7 @@ If none of these files help, then contact us via the address below.
-----------------------------------------------------------------------
+
Detailed installation Notes for Proof General
=============================================
@@ -153,7 +152,6 @@ the Makefile carefully before use.
-
Removing support for unwanted provers
-------------------------------------