diff options
| author | David Aspinall | 2000-06-01 14:06:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-01 14:06:22 +0000 |
| commit | b8aa85e6e5a027d44d53ce9e8a723a3cd660c016 (patch) | |
| tree | 234cd4b1a3805563aba919c0accfbfa960e1066a /generic/proof-config.el | |
| parent | 04ca1d385ae728e0fff34e9cfab3531f7419d23a (diff) | |
Use proof-running-on-XEmacs variable.
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 22cdb9ad..00ab5f08 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -148,7 +148,7 @@ done if this `proof-strict-state-preserving' is turned off (nil)." ;; conjunction with font-lock. ;; The second conjunctive ensures that the expression is either ;; `nil' or `strict' (and not 15!!). - (and (string-match "XEmacs" emacs-version) 'strict) + (and proof-running-on-XEmacs 'strict) "*Whether Proof General is strict about the read-only region in buffers. If non-nil, an error is given when an attempt is made to edit the read-only region. If nil, Proof General is more relaxed (but may give @@ -1884,9 +1884,9 @@ Proof General." " Please send problems and suggestions to proofgen@dcs.ed.ac.uk, or use the menu command Proof-General -> Submit bug report." nil - (unless (string-match "XEmacs" emacs-version) + (unless proof-running-on-XEmacs "For a better Proof General experience, please use XEmacs") - (unless (string-match "XEmacs" emacs-version) + (unless proof-running-on-XEmacs "(visit http://www.xemacs.org)")) "Evaluated to configure splash screen displayed when entering Proof General. A list of the screen contents. If an element is a string or an image |