diff options
| author | David Aspinall | 2000-05-09 10:14:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-09 10:14:15 +0000 |
| commit | d2132386d2eaf85c43c576aadb71fd6efb20ab81 (patch) | |
| tree | d517f57167346c697c926556450eda439867abb2 | |
| parent | 63e91b61a837f6aa127b34852a9690abacc95b03 (diff) | |
Remove use of cl. Add require on proof-autoloads.
| -rw-r--r-- | generic/proof-site.el | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index e3f4c121..4df2d1ab 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -10,11 +10,8 @@ ;; NB: Normally you will not need to edit this file. ;; -(unless (featurep 'proof-site) ; don't load twice - -(require 'cl) ; we're going to need it sooner - ; or later, and FSF doesn't - ; autoload it properly. +(if (featurep 'proof-site) + nil ; don't load twice (if (or (not (boundp 'emacs-major-version)) (< emacs-major-version 20)) @@ -232,7 +229,7 @@ Note: to change proof assistant, you must start a new Emacs session.") ;; loaded for more than one prover. (cond ((boundp 'proof-assistant) - (unless (string-equal proof-assistant ,assistant-name) + (or (string-equal proof-assistant ,assistant-name) ;; If Proof General was partially loaded last time ;; and mode function wasn't redefined, be silent. (message @@ -281,8 +278,11 @@ Note: to change proof assistant, you must start a new Emacs session.") (defconst proof-general-version "Proof General Version 3.2pre000505. Released by da." "Version string identifying Proof General release.") -(provide 'proof-site) -) ; end unless +(require 'proof-autoloads) ; PG autoloads. + +(provide 'proof-site)) + +;; proof-site.el ends here |