New files

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.