diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html/download.html b/html/download.html index 44ab35e7..101e3040 100644 --- a/html/download.html +++ b/html/download.html @@ -17,15 +17,15 @@ directly or even a paper letter to the <a href="http://www.lfcs.informatics.ed.ac.uk/">LFCS</a>. And if you can offer to help resource the development of Proof General in some way, please -<a href="feedback.html">contact us</a> (quickly!). +<a href="feedback">contact us</a> (quickly!). </p> <p> You may like to join the Proof General -<a href="mailinglist.html">mailing list</a>. +<a href="mailinglist">mailing list</a>. Developers and beta-testers may like to download -a <a href="develdownload.html">development release</a> +a <a href="develdownload.php">development release</a> of Proof General. If you use an old version of a proof assistant, you may need to download one of the |