diff options
Diffstat (limited to 'html/download.html')
| -rw-r--r-- | html/download.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html/download.html b/html/download.html index 03948ac0..48934d13 100644 --- a/html/download.html +++ b/html/download.html @@ -61,7 +61,7 @@ One or more of the supported proof assistants. Or write your own support for a new assistant. <br> See the -<?php link_root("main","front page") ?> for links to supported +<a href="main">front page</a> for links to supported assistants. </li> </ul> @@ -80,7 +80,7 @@ for installation notes. </li> <!-- <li> --> <!-- For FSF Emacs, a version of <tt>func-menu.el</tt> to get --> -<!-- <?php link_root("features#funcmenu","function menus") ?>. --> +<!-- <a href="features#funcmenu">function menus</a>. --> <!-- <br>Unfortunately I can't find a version of this that --> <!-- works with current FSF Emacs releases. I'd be grateful --> <!-- for a pointer to one. --> @@ -129,7 +129,7 @@ and documentation (in Info and HTML formats). </p> <p> Documentation is available in other formats -here <?php link_root("doc","here") ?>. +here <a href="doc">here</a>. If you want to format the documentation yourself, you may like to download the <?php download_link("ProofGeneralPortrait.eps.gz", |