From 0b3b6059d7528f7736ff854f4b8fe38e47598171 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 16 Jul 2002 11:31:24 +0000 Subject: Add char-to-int and friends, borrowed from x-symbol-emacs. --- generic/proof-compat.el | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'generic') 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) -- cgit v1.2.3