From 8efb20e43103df3e2f14d3b9ac5bba0c698bc4c5 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 16 Apr 2004 13:57:08 +0000 Subject: Use own name instead of hiding behind mythical PG team --- INSTALL | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'INSTALL') 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 - LFCS, - Division Of Informatics, + David Aspinall + 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 ------------------------------------- -- cgit v1.2.3