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/download.html | |
| parent | 4e2c1e49359fdc4f1dbb0fe31b182c6d8e09eaae (diff) | |
Remove messy link_root links.
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", |