diff options
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. |