From 5c05d27b9247380db630acf3a590994c0544722c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 12:30:38 +0000
Subject: PHP file

---
 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 dd00e02d..a84845a1 100644
--- a/html/download.html
+++ b/html/download.html
@@ -27,7 +27,7 @@ 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 
-<a href="oldrel.html">previous releases</a>.
+<a href="oldrel.php">previous releases</a>.
 </p>
 <p>
 Please check the 
-- 
cgit v1.2.3