diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-09-23 11:09:22 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-23 11:09:22 +0000 |
| commit | a98ccef4b507b74c0b8ec308b26fe3199ca6e1c6 (patch) | |
| tree | 5eb1b29cf4c7ffd275ce588df774ac235fae6edc /generic/proof.el | |
| parent | 25ef3ad3da9ea029b3b1a4a9d4a72f4a6641f0cb (diff) | |
Changed customization group and removed nagging not-busy error message
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/generic/proof.el b/generic/proof.el index 421e9a15..2da75b39 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -73,12 +73,12 @@ output format.") (defcustom proof-prog-name-ask-p nil "*If non-nil, query user which program to run for the inferior process." :type 'boolean - :group 'proof) + :group 'proof-general) (defcustom proof-one-command-per-line nil "*If non-nil, expect newlines after each proof command in a script." :type 'boolean - :group 'proof) + :group 'proof-general) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Other buffer-local variables used by proof mode ;; @@ -990,7 +990,8 @@ queue is running." (if (proof-shell-live-buffer) (progn (if (not proof-shell-busy) - (error "Bug in proof-release-lock: Proof process not busy")) + ; (error "Bug in proof-release-lock: Proof process not busy") + (message "Nag, nag, nag: proof-release-lock: Proof process not busy")) (if (not (eq proof-script-buffer (current-buffer))) (error "Bug in proof-release-lock: Don't own process")) (setq proof-shell-busy nil)))) @@ -1715,17 +1716,17 @@ Only for use by consenting adults." (defcustom proof-ctxt-string "" "*Command to display the context in proof assistant." :type 'string - :group 'proof) + :group 'proof-general) (defcustom proof-help-string "" "*Command to ask for help in proof assistant." :type 'string - :group 'proof) + :group 'proof-general) (defcustom proof-prf-string "" "Command to display proof state in proof assistant." :type 'string - :group 'proof) + :group 'proof-general) (defvar proof-goal-command-string nil "Command to set a goal in the proof assistant. |