From 58429eea4d1f27a877fdaad9e51ccb203ad99b42 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 19:19:09 +0000
Subject: Tweak

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

(limited to 'html')

diff --git a/html/main.html b/html/main.html
index df52edb2..807d477c 100644
--- a/html/main.html
+++ b/html/main.html
@@ -138,7 +138,7 @@ for <a href="http://www.cs.utexas.edu/users/moore/acl2">ACL2</a>.
 </ul>
 <p>
 These instances of Proof General are functional, but only show a bare
-fraction of the functionality possible.  We are
+fraction of what is possible.  We are
 seeking volunteers to support and improve each of these 
 (please <a href="feedback.html">send a note to 
 	<tt>feedback@proofgen.org</tt></a> if you're interested).
-- 
cgit v1.2.3