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/mission.html | |
| parent | 4e2c1e49359fdc4f1dbb0fe31b182c6d8e09eaae (diff) | |
Remove messy link_root links.
Diffstat (limited to 'html/mission.html')
| -rw-r--r-- | html/mission.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html/mission.html b/html/mission.html index deec79dc..a0203092 100644 --- a/html/mission.html +++ b/html/mission.html @@ -113,9 +113,9 @@ for each proof assistant by an experienced user/developer. <?php dt("Proven techniques.","proven") ?> <dd> Amongst other features, Proof General currently includes -<?php link_root("features#script","script management ") ?> +<a href="features#script">script management</a> and -<?php link_root("features#pbp","proof-by-pointing") ?>, +<a href="features#pbp">proof-by-pointing</a> both championed in <a href="http://www-sop.inria.fr/croap/">Projet CROAP</a>. </dd> @@ -125,7 +125,7 @@ Proof General also advances the state-of-the-art. For example, we introduced proof-by-pointing in an free-form environment, and extended script management to handle -<?php link_root("features#multiple","multiple files") ?>. +<a href="features#multiple">multiple files</a>. </dd> </dl> |