From 0343b2b7187a599d2373e92e00d5e8ad7da91c3f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 17:47:34 +0000
Subject: Remove messy link_root links.

---
 html/mission.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'html/mission.html')

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>
 
-- 
cgit v1.2.3