diff options
| author | David Aspinall | 1999-11-29 18:12:34 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-29 18:12:34 +0000 |
| commit | fee12c9e21547ff7ea68f520981eab7cae9ac062 (patch) | |
| tree | febc848e91feb19f9d5a84bd5783eddbe8d84b4b /doc | |
| parent | 77c695aaac4057c29ec78036990f9d97fdaa5a17 (diff) | |
Fixed download URL to be homepage.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 1d7d5f55..251d84d7 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -5254,7 +5254,7 @@ STOP PRESS: the Proof General web pages are temporarily being hosted at You can obtain Proof General from the URL @example -@uref{http://zermelo.dcs.ed.ac.uk/home/proofgen/download.html}. +@uref{http://zermelo.dcs.ed.ac.uk/home/proofgen}. @end example The distribution is available in three forms |