From 6c8a7016f6f9d5a12f425c4422690f489ce8590e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Jan 2002 14:05:00 +0000
Subject: Fix link to feedback page

---
 html/oldnews.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'html/oldnews.html')

diff --git a/html/oldnews.html b/html/oldnews.html
index 15ad2e6e..2cc3c42b 100644
--- a/html/oldnews.html
+++ b/html/oldnews.html
@@ -9,7 +9,7 @@
 <p>
 The past few months have seen a few more improvements and
 bug fixes to Proof General: many thanks to those who have
-sent us <a href="feedback.html">useful feedback</a>.
+sent us <a href="feedback">useful feedback</a>.
 It's time that we made a proper release, so please try
 out the <a href="develdownload.html">development release</a>
 and help us iron out as many more problems as we can.
@@ -57,7 +57,7 @@ or
 <li><b>14th Sep 2000</b>
 <p>
 Improvements to web pages.  Graphics made smaller, text more concise.
-Please <?php hlink("feedback.html","send me suggestions ","Feedback form")?>
+Please <?php hlink("feedback","send me suggestions ","Feedback form")?>
 for further improvements.
 (I know some pages display poorly in Netscape 4.7x because 
 of patchy stylesheet support; they appear much better in IE5
@@ -190,7 +190,7 @@ month so that everyone can benefit.
 <p>
 In the meantime, please 
 <?php 
-  hlink("feedback.html","report any important problems ","Feedback form")?>
+  hlink("feedback","report any important problems ","Feedback form")?>
 that you would like to see fixed, and consider trying out 
 the current <a href="devel">development release</a>.
 </p>
@@ -290,7 +290,7 @@ support implemented.
  maintain and improve Coq Proof General, since Patrick Loiseleur 
  can no longer work on it.  
  Support from the Coq community is vital for Proof General to
- be a useful tool there. <a href="feedback.html">Please offer to help</a>, 
+ be a useful tool there. <a href="feedback">Please offer to help</a>, 
  it needn't be a heavy commitment.
  </p>
 <li><b>13th September 1999</b><br>
-- 
cgit v1.2.3