diff options
| author | David Aspinall | 2002-07-18 16:10:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 16:10:23 +0000 |
| commit | 1715b7d36b9d65120041ce1061e742b8ab0d4140 (patch) | |
| tree | 2a8e9e30be9b98c728250e3bf2e1459c55a5becf /html/components.html | |
| parent | 52a613540d56706a5466488e7e79e405beaa4d3f (diff) | |
Link to span.el too
Diffstat (limited to 'html/components.html')
| -rw-r--r-- | html/components.html | 5 |
1 files changed, 4 insertions, 1 deletions
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. |