diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-12-11 17:01:20 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-12-11 17:01:20 +0000 |
commit | 0164d341b4b5c5c55f39abde040aa4c591cfcf90 (patch) | |
tree | 6fbcefd205df0e7d88f99b999f15e67ef1b1599b /INSTALL | |
parent | 598d4d4dd222932bfe38d115ef46f01b483f091f (diff) |
Fix domain name
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -28,13 +28,13 @@ 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. - Proof General maintainer <support@proofgeneral.org> + Proof General maintainer <da+pg-support@inf.ed.ac.uk> LFCS, Division Of Informatics, University of Edinburgh. Edinburgh. - http://www.proofgeneral.org + http://proofgeneral.inf.ed.ac.uk |