diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/devel.html | 9 | ||||
| -rw-r--r-- | html/main.html | 12 |
2 files changed, 16 insertions, 5 deletions
diff --git a/html/devel.html b/html/devel.html index c2740b24..76791ddc 100644 --- a/html/devel.html +++ b/html/devel.html @@ -81,6 +81,15 @@ for the </li> </ul> +<ul> +<li> +See Proof General's <a href="components">standalone components</a> +which can be used in other programs. +</li> +</ul> + + + <!-- <ul> --> <!-- <li> --> <!-- Browse source files from the current pre-release: --> 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> |