diff options
Diffstat (limited to '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. |