diff options
| -rw-r--r-- | generic/proof-compat.el | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/generic/proof-compat.el b/generic/proof-compat.el index e78d3d91..577fbdc7 100644 --- a/generic/proof-compat.el +++ b/generic/proof-compat.el @@ -73,6 +73,13 @@ that use a window system such as X, and false for text-only terminals." ;;; GNU Emacs compatibility ;;; +;;; Chars (borrowed from x-symbol-emacs.el compatability file) + +(unless (fboundp 'characterp) (defalias 'characterp 'integerp)) +(unless (fboundp 'int-to-char) (defalias 'int-to-char 'identity)) +(unless (fboundp 'char-to-int) (defalias 'char-to-int 'identity)) + + ;; completion not autoloaded in GNU 20.6.1; we must call ;; dynamic-completion-mode after loading it. (or (fboundp 'complete) |