From 1715b7d36b9d65120041ce1061e742b8ab0d4140 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 16:10:23 +0000
Subject: Link to span.el too

---
 html/components.html | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'html/components.html')

diff --git a/html/components.html b/html/components.html
index 83767632..7d2b10e9 100644
--- a/html/components.html
+++ b/html/components.html
@@ -22,12 +22,15 @@ bridge the gulf between GNU Emacs and XEmacs.  In GNU Emacs, spans are
 implemented using <i>overlays</i>.  
 </p>
 <p>
-The library consists of two Emacs lisp files,
+The library consists of three Emacs lisp files,
 <ul>
 <li><a href="ProofGeneral-latest/generic/span-extent.el">span-extent.el</a>
 </li>
 <li><a href="ProofGeneral-latest/generic/span-overlay.el">span-overlay.el</a>
 </li>
+<li><a href="ProofGeneral-latest/generic/span.el">span.el</a> 
+(which simply loads one of the above)
+</li>
 </ul>
 which implement a common interface for overlays/extents.
 This library was originally implemented by Healfdene Goguen.
-- 
cgit v1.2.3