diff options
Diffstat (limited to 'html/main.html')
| -rw-r--r-- | html/main.html | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/html/main.html b/html/main.html index a4a37b54..66b8efbc 100644 --- a/html/main.html +++ b/html/main.html @@ -10,13 +10,15 @@ Proof General has been developed at the in the <a href="http://www.ed.ac.uk/">University of Edinburgh</a>. </p> <p> -To read more about Proof General -and what it provides, -<a href="features">check the features list</a>. -To see Proof General in use, have a look at these +To find out more, check the +<a href="features" features list</a> +and look at the <a href="screenshot">screenshots</a>. -To download Proof General, visit the +To get Proof General, visit the <a href="download">download page</a>. +If you're not interested in interactive proof, +see the <a href="components">standalone components</a> +developed as part of Proof General. To contact the developers, click <?php hlink("feedback","here","Feedback form")?>. </p> |