From 3206b37a7b17cc9f6e3a1b66c6ff222c2347820f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 Mar 2001 18:11:04 +0000
Subject: Fixes to main page

---
 html/main.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'html')

diff --git a/html/main.html b/html/main.html
index e67043ed..a4e44b9e 100644
--- a/html/main.html
+++ b/html/main.html
@@ -14,14 +14,14 @@ works best under
 You need a recent version in either case.
 </p>
 <p>
-The aim of the Proof General project is to provide a powerful and
+The aim of the Proof General project is to provide powerful and
 configurable interfaces which help user-interaction with interactive
 proof assistants.  The strategy of Proof General is to target power
 users rather than novices, building an environment for <i>proof
-engineering</i>.  But we include general user interface niceties, such
+engineering</i>.  But we include modern user interface features, such
 as toolbar and menus, which make use easier for all.  Proof General is
-now used for organizing large proof developments, and for teaching
-interactive proof.
+currently used by many people for organizing large proof developments, 
+and also for teaching interactive proof.
 <p>
 To read more about what Proof General
 provides, 
-- 
cgit v1.2.3