diff options
| author | David Aspinall | 2003-12-11 17:01:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-12-11 17:01:20 +0000 |
| commit | 0164d341b4b5c5c55f39abde040aa4c591cfcf90 (patch) | |
| tree | 6fbcefd205df0e7d88f99b999f15e67ef1b1599b /doc/README.doc | |
| parent | 598d4d4dd222932bfe38d115ef46f01b483f091f (diff) | |
Fix domain name
Diffstat (limited to 'doc/README.doc')
| -rw-r--r-- | doc/README.doc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/README.doc b/doc/README.doc index e350baea..374bd121 100644 --- a/doc/README.doc +++ b/doc/README.doc @@ -20,7 +20,7 @@ If you want a front image on the printed dvi/gs manuals, you need to have the ProofGeneral.eps file in this directory. You can download a compressed version from -http://www.proofgeneral.org/ProofGeneral/doc/ProofGeneral.eps.gz +http://proofgeneral.inf.ed.ac.uk/ProofGeneral/doc/ProofGeneral.eps.gz This file is not included with the distribution because it is rather large (1.6M). |