diff options
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 10 |
1 files changed, 4 insertions, 6 deletions
@@ -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 ------------------------------------- |