Link to standalone comps

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>