diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-16 13:57:08 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-16 13:57:08 +0000 |
| commit | 8efb20e43103df3e2f14d3b9ac5bba0c698bc4c5 (patch) | |
| tree | ff0cbfa7c4553df1c02e38b1919a89817e705b2d /INSTALL | |
| parent | 345273b33668a01dfa2234fd26c5d84f0185a525 (diff) | |
Use own name instead of hiding behind mythical PG team
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 ------------------------------------- |