diff options
| author | David Aspinall | 2007-12-10 11:07:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-10 11:07:22 +0000 |
| commit | e6e2c1ef244baceef033721b00dfed9a317d07d3 (patch) | |
| tree | 306e13663fa1214438267185ad3d681583594be8 | |
| parent | 8a4bf29f092e85fcbf8d67b6b1bb3efcd860d6c5 (diff) | |
Fix some compile warnings: use of error, customization groups
| -rw-r--r-- | generic/proof-site.el | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 9e2f64f3..4ff217d3 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -19,8 +19,7 @@ (defgroup proof-general nil "Customization of Proof General." - :group 'external - :group 'processes + :group 'applications :prefix "proof-") @@ -32,6 +31,8 @@ ;; not belong to 'proof-general (or any other group). (defgroup proof-general-internals nil "Customization of Proof General internals." + :group 'applications + :group 'proof-general :prefix "proof-") @@ -270,8 +271,8 @@ Note: to change proof assistant, you must start a new Emacs session.") (cdr-safe (assoc assistant proof-assistant-table)) - (error "proof-site: symbol " (symbol-name assistant) - "is not in proof-assistant-table"))) + (error "Symbol %s is not in proof-assistant-table (in proof-site)" + (symbol-name assistant)))) (assistant-name (car nameregexp)) (regexp (car (cdr nameregexp))) (sname (symbol-name assistant)) |