diff options
Diffstat (limited to 'html/oldnews.html')
| -rw-r--r-- | html/oldnews.html | 8 |
1 files changed, 4 insertions, 4 deletions
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> |