diff options
Diffstat (limited to 'generic/span.el')
| -rw-r--r-- | generic/span.el | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/generic/span.el b/generic/span.el new file mode 100644 index 00000000..59710e1f --- /dev/null +++ b/generic/span.el @@ -0,0 +1,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. |