diff options
| author | David Aspinall | 2001-08-01 18:12:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-01 18:12:51 +0000 |
| commit | a352fc124821d8853fd6142d950cab45785dc44f (patch) | |
| tree | 7cd3f8429f9cab37233717b708d0eb9fd021f58e /generic | |
| parent | 851569fdffc800e0480fafe1e8760a0ff21abb41 (diff) | |
Moved compat hack to proof-site
Diffstat (limited to 'generic')
| -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 |