diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-12-11 17:48:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-12-11 17:48:34 +0000 |
| commit | 2d577ad5ba24a292fe1b47aafcfb5c26efe5c533 (patch) | |
| tree | 7e9febd89e54f46d57a7071cf203ed327c62ce4f /html | |
| parent | 33394f21b187f7d5f25bfe760efd837fa2102e9e (diff) | |
fix links to devel download.
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.html | 2 | ||||
| -rw-r--r-- | html/oldnews.html | 8 |
2 files changed, 5 insertions, 5 deletions
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> |