From b15aac581cf3ab0abc1d7d732a6fab1e7a4e0623 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 Jan 2008 22:45:32 +0000
Subject: Add buffer-substring-no-properties in case of older Emacs versions

---
 lib/proof-compat.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/proof-compat.el b/lib/proof-compat.el
index 12798cad..9e3a2b7c 100644
--- a/lib/proof-compat.el
+++ b/lib/proof-compat.el
@@ -528,7 +528,7 @@ If `focus-follows-mouse' is non-nil, keyboard focus is left unchanged."
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
-;;; Old Emacs version compatibility
+;;; Old Emacs version compatibility (to be gradually removed...)
 ;;;
 
 ;; Create a menu from a customize group, for older/non-existent customize
@@ -539,6 +539,8 @@ If `focus-follows-mouse' is non-nil, keyboard focus is left unchanged."
   (and (processp obj)
        (memq (process-status obj) '(open run stop)))))
 
+(or (fboundp 'buffer-substring-no-properties)
+    (defalias 'buffer-substring-no-properties 'buffer-substring))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
-- 
cgit v1.2.3