diff options
| author | David Aspinall | 2011-01-25 20:12:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-25 20:12:10 +0000 |
| commit | 737724ed7e05eef3058c6124082e79fbf9165a8d (patch) | |
| tree | 31344ae0bf9479fc35bf30829bd91f6e736accbc /generic/proof-utils.el | |
| parent | b65dbe902217f4252f106f7f281980d4b9ce2a40 (diff) | |
Bump/relax version numbers. Error for <23, warning for minor version mismatch.
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 7b51443d..c6a3bb68 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -32,13 +32,13 @@ "Version of Emacs we're compiled for (or running on, if interpreted).")) (if (or (not (boundp 'emacs-major-version)) - (< emacs-major-version 22) + (< emacs-major-version 23) (string-match "XEmacs" emacs-version)) (error "Proof General is not compatible with Emacs %s" emacs-version)) (unless (equal pg-compiled-for (pg-emacs-version-cookie)) - (error - "Proof General was compiled for %s but running on %s: please run \"make clean; make\"" + (warn + "Proof General compiled for %s but running on %s: \"make clean; make\" is recommended." pg-compiled-for (pg-emacs-version-cookie))) |