From 4fbdf80098ef9a7014fa164b4225164f909e5277 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 12:54:52 +0000
Subject: Text

---
 html/features.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html/features.html')

diff --git a/html/features.html b/html/features.html
index 60ade9ac..b71ec446 100644
--- a/html/features.html
+++ b/html/features.html
@@ -188,7 +188,7 @@ proof assistant to add PBP support.")  ?>
   </dd>
 </dl>
 <p>
-For (even) more details of the above features, see the 
-<a href="doc">documentation page</a>.
+For (even) more details of Proof General's features, see the manuals and
+papers on the <a href="doc">documentation page</a>.
 </p>
 
-- 
cgit v1.2.3