diff options
Diffstat (limited to 'html/develdownload.html')
| -rw-r--r-- | html/develdownload.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html/develdownload.html b/html/develdownload.html index c8a3050e..64952d62 100644 --- a/html/develdownload.html +++ b/html/develdownload.html @@ -26,7 +26,7 @@ Please <a href="register.html">register</a> if you haven't done so already. <p> The manual included with the pre-release may be updated from that of the -<?php link_root("doc","last stable release") ?>. +<a href="doc">last stable release</a>. </p> <p> You can see the current documentation: the user manual in @@ -81,7 +81,7 @@ notes about work-in-progress. <p> For install instructions, see -the <?php link_root("download#install","stable version download") ?>. +the <a href="download#install">stable version download</a>. </p> <p> @@ -110,7 +110,7 @@ The complete archive also includes: </p> <ul> <li> the low-level developer's todo files - (see <?php link_root("devel#lowleveltodo","the developers page") ?>) + (see <a href="devel#lowleveltodo">the developers page</a>) and the detailed <!-- WARNING! Line below automatically edited by makefile. --> <?php fileshow("ProofGeneral-3.2pre000928/ChangeLog","ChangeLog"); ?>, |