diff options
| author | David Aspinall | 2000-09-29 17:47:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-29 17:47:34 +0000 |
| commit | 0343b2b7187a599d2373e92e00d5e8ad7da91c3f (patch) | |
| tree | f2a8ed42df461e6cd9171a5bce55792172cea98f /html/oldnews.html | |
| parent | 4e2c1e49359fdc4f1dbb0fe31b182c6d8e09eaae (diff) | |
Remove messy link_root links.
Diffstat (limited to 'html/oldnews.html')
| -rw-r--r-- | html/oldnews.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/oldnews.html b/html/oldnews.html index ab36d1a0..1ef78c93 100644 --- a/html/oldnews.html +++ b/html/oldnews.html @@ -52,7 +52,7 @@ see the <li><b>23rd March 2000</b> <p> Proof General 3.1 is now available from the -<?php link_root("download","download page") ?>. Enjoy! +<a href="download">download page</a>. Enjoy! </p> </li> <li><b>14th March 2000</b> @@ -94,7 +94,7 @@ current <a href="develdownload.html">development release</a>. <li><b>15th February 2000</b> <p> There is now a new -<?php link_root("devel","page for developers") ?>. +<a href="devel">page for developers</a>. I plan to apply for funding to continue managing the evolution and development of Proof General, once my own job position is more secure. |