diff options
Diffstat (limited to 'coq/coq-abbrev.el')
-rw-r--r-- | coq/coq-abbrev.el | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index d8a53f47..164ac4a5 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -51,15 +51,18 @@ (coq-build-abbrev-table-from-db coq-terms-db)) + ;;; The abbrev table built from keywords tables ;#s and @{..} are replaced by holes by holes-abbrev-complete -(if (boundp 'holes-abbrev-complete) - () +(if (and (boundp 'coq-mode-abbrev-table) + (not (equal coq-mode-abbrev-table (make-abbrev-table)))) + (message "Coq abbrevs already exists, default not loaded") + (message "Coq default abbrevs loaded") (define-abbrev-table 'coq-mode-abbrev-table - (append coq-tactics-abbrev-table - coq-tacticals-abbrev-table - coq-commands-abbrev-table - coq-terms-abbrev-table))) + (append coq-tactics-abbrev-table coq-tacticals-abbrev-table + coq-commands-abbrev-table coq-terms-abbrev-table)) + ;if we use default coq abbrev, never ask to save it + (setq save-abbrevs nil)) ;;;;; |