blob: 86785e9302161355ad2b815d403caab9871e8197 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
;; span.el Datatype of "spans" for Proof General.
;;
;; Copyright (C) 1998 LFCS Edinburgh
;; Author: Healfdene Goguen
;; License: GPL (GNU GENERAL PUBLIC LICENSE)
;;
;; $Id$
;;
;; Spans are our abstraction of extents/overlays.
;;
(eval-and-compile
(cond ((string-match "XEmacs" emacs-version)
(require 'span-extent))
(t
(require 'span-overlay))))
(provide 'span)
;; span.el ends here.
|