From 2d577ad5ba24a292fe1b47aafcfb5c26efe5c533 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 Dec 2001 17:48:34 +0000
Subject: fix links to devel download.

---
 html/news.html    | 2 +-
 html/oldnews.html | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'html')

diff --git a/html/news.html b/html/news.html
index 23240176..e7f80cb6 100644
--- a/html/news.html
+++ b/html/news.html
@@ -3,7 +3,7 @@
 <ul>
 <li><b>11th December 2001</b>
 <p>
-The current <a href="devel.html">development release</a> takes
+The current <a href="develdownload.html">development release</a> takes
 advantage of the new fancy features available in GNU Emacs 21, to add
 toolbar support and other features there.  As usual, maintaining the
 code to work with both Emacs versions is quite troublesome, so bug
diff --git a/html/oldnews.html b/html/oldnews.html
index 6b3d509d..15ad2e6e 100644
--- a/html/oldnews.html
+++ b/html/oldnews.html
@@ -183,7 +183,7 @@ which could be undertaken as self-contained projects.
 Countdown to Proof General 3.1 begins.  This will be a bug fix releaase.
 A few bugs have been fixed in
 recent Proof General development releases, one important one is fixing
-support for non-mule versions of FSF Emacs (thanks to Pierre Courtieu
+support for non-mule versions of GNU Emacs (thanks to Pierre Courtieu
 for raising it to my attention).  I would like to release PG 3.1 next
 month so that everyone can benefit.
 </p>
@@ -192,7 +192,7 @@ In the meantime, please
 <?php 
   hlink("feedback.html","report any important problems ","Feedback form")?>
 that you would like to see fixed, and consider trying out 
-the current <a href="devel.html">development release</a>.
+the current <a href="devel">development release</a>.
 </p>
 <li><b>14th December 1999</b>
 <p>
@@ -212,7 +212,7 @@ Proof General 3.0 is released!
 <p>
 Proof General 3.0 is currently in final testing, and will be released
 in a small number of days.  Please help me with this by testing the
-current <a href="devel.html">pre-release</a>, so I can iron out as
+current <a href="devel">pre-release</a>, so I can iron out as
 many bugs as possible before making the release.  It's very easy to
 install or upgrade Proof General, so it shouldn't be much effort to
 test it quickly.  Particularly if you're already running an earlier
@@ -233,7 +233,7 @@ code.  Not bad for getting about 4000 lines worth of code in benefit!
 Isabelle 99 was released last week, and Proof General 3.0 should
 be ready for release in the next week or so.  In
 the meantime, please use the current 
-<a href="devel.html">pre-release</a>
+<a href="develdownload.html">pre-release</a>
 for Isabelle 99.
 </p>
 <p>
-- 
cgit v1.2.3