From dac5d74c35f68dee555039888f77bae16c7ac84b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 9 Sep 2001 17:24:14 +0000
Subject: Change over to some .php files.

---
 html/download.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'html')

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