diff options
| -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 |