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