From 9a22cf73d6632c26141871f702a3b692c2457a2b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 12:06:09 +0000
Subject: Link to standalone comps

---
 html/devel.html |  9 +++++++++
 html/main.html  | 12 +++++++-----
 2 files changed, 16 insertions(+), 5 deletions(-)

(limited to 'html')

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>
-- 
cgit v1.2.3