From bdd858cf6235ce0271b20faa9f595de061c92200 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 13 Sep 2001 15:55:31 +0000
Subject: Fix link

---
 html/download.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html')

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 
-- 
cgit v1.2.3