From 2b1759c642c23de80c28655330124a8385432aec Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2004 11:28:14 +0000
Subject: Renamed file

---
 generic/span.el | 39 ---------------------------------------
 lib/span.el     | 39 +++++++++++++++++++++++++++++++++++++++
 2 files changed, 39 insertions(+), 39 deletions(-)
 delete mode 100644 generic/span.el
 create mode 100644 lib/span.el

diff --git a/generic/span.el b/generic/span.el
deleted file mode 100644
index eb609f39..00000000
--- a/generic/span.el
+++ /dev/null
@@ -1,39 +0,0 @@
-;; 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))))
-
-;;
-;; Generic functions built on low-level concrete ones.
-;; 
-
-(defsubst delete-spans (start end prop)
-  "Delete all spans between START and END with property PROP set."
-  (mapcar-spans 'delete-span start end prop))
-
-(defsubst span-property-safe (span name)
-  "Like span-property, but return nil if SPAN is nil."
-  (and span (span-property span name)))
-  
-(defsubst set-span-start (span value)
-  "Set the start point of SPAN to VALUE."
-  (set-span-endpoints span value (span-end span)))
-
-(defsubst set-span-end (span value)
-  "Set the end point of SPAN to VALUE."
-  (set-span-endpoints span (span-start span) value))
-
-(provide 'span)
-;; span.el ends here.
diff --git a/lib/span.el b/lib/span.el
new file mode 100644
index 00000000..eb609f39
--- /dev/null
+++ b/lib/span.el
@@ -0,0 +1,39 @@
+;; 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))))
+
+;;
+;; Generic functions built on low-level concrete ones.
+;; 
+
+(defsubst delete-spans (start end prop)
+  "Delete all spans between START and END with property PROP set."
+  (mapcar-spans 'delete-span start end prop))
+
+(defsubst span-property-safe (span name)
+  "Like span-property, but return nil if SPAN is nil."
+  (and span (span-property span name)))
+  
+(defsubst set-span-start (span value)
+  "Set the start point of SPAN to VALUE."
+  (set-span-endpoints span value (span-end span)))
+
+(defsubst set-span-end (span value)
+  "Set the end point of SPAN to VALUE."
+  (set-span-endpoints span (span-start span) value))
+
+(provide 'span)
+;; span.el ends here.
-- 
cgit v1.2.3