diff options
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))) |