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