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 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'html/devel.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: -->
-- 
cgit v1.2.3