From a5c545d32ab4851d20117f4c58b1f3406d961352 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 30 Nov 1999 12:07:00 +0000
Subject: Typo

---
 html/features.phtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/features.phtml')

diff --git a/html/features.phtml b/html/features.phtml
index bb6825ff..091139b8 100644
--- a/html/features.phtml
+++ b/html/features.phtml
@@ -40,7 +40,7 @@ If not, read on…
   from the most recent interaction, rather than a screen full of
   output from the proof assistant.
   <p>
-  Despite more friendly communication model, Proof General does not
+  Despite this more friendly communication model, Proof General does not
   commandeer the proof assistant shell: the user still has complete
   access to it if necessary.
   </p>
-- 
cgit v1.2.3