From 3be2b1fb7fa1e7a0df9369efb96c7e79df31de2c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 8 Jun 2002 10:01:39 +0000
Subject: Clean up span.el loading; make compat with bbdb.el in FSF

---
 generic/span.el | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/generic/span.el b/generic/span.el
index 59710e1f..5480d010 100644
--- a/generic/span.el
+++ b/generic/span.el
@@ -5,16 +5,14 @@
 ;;
 ;; $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."))))
-
+  (cond ((string-match "XEmacs" emacs-version)  
+	 (require 'span-extent))
+ 	(t 
+	 (require 'span-overlay))))
+  
 (provide 'span)
 ;; span.el ends here.
-- 
cgit v1.2.3