blob: 59710e1fac7eb6bd5983d3680cafa2804ef5407c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
;; span.el Datatype of "spans" for Proof General.
;; Copyright (C) 1998 LFCS Edinburgh
;; Author: Healfdene Goguen
;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk>
;;
;; $Id$
;; Spans are our abstraction of extents/overlays.
;;
(eval-and-compile
(cond
((fboundp 'make-extent) (require 'span-extent))
((fboundp 'make-overlay) (require 'span-overlay))
(t
(error
"Your Emacs version is not compatible with Proof General, sorry."))))
(provide 'span)
;; span.el ends here.
|