diff options
| author | David Aspinall | 2001-09-13 15:55:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-13 15:55:31 +0000 |
| commit | bdd858cf6235ce0271b20faa9f595de061c92200 (patch) | |
| tree | 387238dcf2c061b5590481b48d8f94527e4c0a77 /html | |
| parent | 5ab3d3c821df9dbe713fd2d4750b3968de3a3b74 (diff) | |
Fix link
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/download.html b/html/download.html index efa796d9..339913d7 100644 --- a/html/download.html +++ b/html/download.html @@ -25,7 +25,7 @@ You may like to join the Proof General <a href="mailinglist">mailing list</a>. Developers and beta-testers may like to download -a <a href="develdownload.php">development release</a> +a <a href="develdownload.html">development release</a> of Proof General. If you use an old version of a proof assistant, you may need to download one of the |