diff options
| -rw-r--r-- | generic/proof-compat.el | 7 | ||||
| -rw-r--r-- | generic/proof-site.el | 8 |
2 files changed, 8 insertions, 7 deletions
diff --git a/generic/proof-compat.el b/generic/proof-compat.el index 6bb3b6d6..f4c0ac5e 100644 --- a/generic/proof-compat.el +++ b/generic/proof-compat.el @@ -45,13 +45,6 @@ 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) diff --git a/generic/proof-site.el b/generic/proof-site.el index c7e0d857..01fec3e9 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -314,6 +314,14 @@ Note: to change proof assistant, you must start a new Emacs session.") ;; Now define a few autoloads and basic variables. +;; 1.8.01: add a dummy package-provide command so proof-autoloads +;; is compatible with FSF Emacs. Needed for next provide +;; (otherwise would be in proof-compat.el). +(or (fboundp 'package-provide) + (defun package-provide (name &rest attributes) + "Dummy version of XEmacs function for FSF compatibility.")) + + (require 'proof-autoloads) ; autoloaded functions (defcustom proof-assistant-cusgrp nil |