From 5ad5c802a6a0d978f1e7a3c9ce22c4dd0bca70b9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 5 Sep 2009 18:32:17 +0000 Subject: Add characterp for Emacs 22 --- lib/proof-compat.el | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'lib/proof-compat.el') diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 3f84481a..483e5834 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -162,6 +162,14 @@ The returned value is one of the following symbols: (defalias 'proof-buffer-syntactic-context 'proof-buffer-syntactic-context-emulate) +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;; +;;; Backward compatibility for Emacs 22 +;;; + +(or (fboundp 'characterp) + (defun characterp (obj) + (char-valid-p obj))) ;; End of proof-compat.el (provide 'proof-compat) -- cgit v1.2.3