diff options
| author | David Aspinall | 2001-03-20 18:11:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-03-20 18:11:04 +0000 |
| commit | 3206b37a7b17cc9f6e3a1b66c6ff222c2347820f (patch) | |
| tree | 6298548d450b776ff4ca43ae431825f47b2d6285 /html | |
| parent | 8d598218e731f82516cc684567f05a4d830cc439 (diff) | |
Fixes to main page
Diffstat (limited to 'html')
| -rw-r--r-- | html/main.html | 8 |
1 files changed, 4 insertions, 4 deletions
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, |