diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-09-09 17:24:14 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-09 17:24:14 +0000 |
commit | dac5d74c35f68dee555039888f77bae16c7ac84b (patch) | |
tree | 6b0a7712efbe064690778d9da92551a0e9c0c179 /html | |
parent | 0ddb02cbd3d4746b38cf923364c6c3b5f4642db3 (diff) |
Change over to some .php files.
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 |