diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-09-02 21:55:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-09-02 21:55:42 +0000 |
| commit | 0a795598a3d6a86b872da5b6ed30de75f7dc166b (patch) | |
| tree | bbf4867f9e3e184fabbff9b31317eede1392578c /lib/proof-compat.el | |
| parent | 6dff5d581c61447b71aaa1fd1c66be16f72aa36c (diff) | |
Remove functions defined for Emacs 22 compatibility
Diffstat (limited to 'lib/proof-compat.el')
| -rw-r--r-- | lib/proof-compat.el | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 45545f29..1816ed0e 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -133,27 +133,5 @@ The value returned is the value of the last form in BODY." (funcall (get this-command 'completion-function))))) -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;;; -;;; Backward compatibility for Emacs 22 -;;; - -(or (fboundp 'use-region-p) - (defun use-region-p () - (and transient-mark-mode mark-active))) - -(or (fboundp 'characterp) - (defun characterp (obj) - (with-no-warnings (char-valid-p obj)))) - - -(or (fboundp 'declare-function) -;; taken from Emacs 22.2, not present in 22.1: -(defmacro declare-function (&rest args) - "In Emacs 22, does nothing. In 23, it will suppress byte-compiler warnings. -This definition is so that packages may take advantage of the -Emacs 23 feature and still remain compatible with Emacs 22." - nil)) - ;; End of proof-compat.el (provide 'proof-compat) |