diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-02-28 09:11:07 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-02-28 09:11:07 +0000 |
commit | dc7e072dc5aaa48903927a2c0bc603a4fac6cc05 (patch) | |
tree | 80a7863165b2f857c515b621c0e9dc437a00a70d /generic/proof.el | |
parent | 725471a616b0f56f2a71e8ef74a1d383e6ba172d (diff) |
Add definition of warn function for FSF compatibility.
Diffstat (limited to 'generic/proof.el')
-rw-r--r-- | generic/proof.el | 25 |
1 files changed, 14 insertions, 11 deletions
diff --git a/generic/proof.el b/generic/proof.el index 4bdfb9e4..eb692a28 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -50,15 +50,12 @@ (autoload 'proof-shell-mode "proof-shell" "Proof General shell mode class for proof assistant processes") -;; FIXME: toolbar defines scripting menu as well as toolbar, -;; so FSF *does* need to load it. Could consider separating -;; menu code from proof-toolbar. +;; Toolbar defines scripting menu as well as toolbar, so FSF *does* +;; need to load it. We could consider separating menu code from +;; proof-toolbar, but they are defined using a uniform mechanism. -;;(if (featurep 'toolbar) - ;; toolbar code is only loaded for XEmacs - (autoload 'proof-toolbar-setup "proof-toolbar" - "Initialize Proof General toolbar and enable it for the current buffer" t) -;;; (defun proof-toolbar-setup ())) +(autoload 'proof-toolbar-setup "proof-toolbar" + "Initialize Proof General toolbar and enable it for the current buffer" t) ;;; @@ -156,12 +153,18 @@ of the proof (starting from 1).") ;;; -;;; Utilities/macros used in several files (-> proof-utils) +;;; Compatibility: define some stuff for FSF Emacs ;;; -;; -;; +(or (fboundp 'warn) + (defun warn (str) + "Issue a warning STR. Defined by PG for XEmacs compatibility." + (message str) + (sit-for 2))) +;;; +;;; Utilities/macros used in several files (-> proof-utils) +;;; ;; ----------------------------------------------------------------- |