diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 18:32:17 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 18:32:17 +0000 |
| commit | 5ad5c802a6a0d978f1e7a3c9ce22c4dd0bca70b9 (patch) | |
| tree | adbac1a2f010b894ac65b3da15d4b2869c69fb4e /lib/proof-compat.el | |
| parent | da9837ad5fe81d3c1a868400544f9ad32779fdef (diff) | |
Add characterp for Emacs 22
Diffstat (limited to 'lib/proof-compat.el')
| -rw-r--r-- | lib/proof-compat.el | 8 |
1 files changed, 8 insertions, 0 deletions
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) |