From 0a795598a3d6a86b872da5b6ed30de75f7dc166b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 2 Sep 2012 21:55:42 +0000 Subject: Remove functions defined for Emacs 22 compatibility --- lib/proof-compat.el | 22 ---------------------- 1 file changed, 22 deletions(-) (limited to 'lib') 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) -- cgit v1.2.3