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 f4c0ac5e..6bb3b6d6 100644 --- a/generic/proof-compat.el +++ b/generic/proof-compat.el @@ -45,6 +45,13 @@ with `path-separator'." ;;; FSF compatibility ;;; +;; 1.8.01: add a dummy package-provide command so proof-autoloads +;; is compatible with FSF Emacs. +(or (fboundp 'package-provide) + (defun package-provide (name &rest attributes) + "Dummy version of XEmacs function for FSF compatibility.")) + + ;; completion not autoloaded in FSF 20.6.1; we must call ;; dynamic-completion-mode after loading it. (or (fboundp 'complete) |