From a82daf51268be086f3da32294d7e91170426cba7 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Fri, 25 Aug 2006 08:37:23 +0000 Subject: Fixed a small bug in indentation of coq. Fixed behavior for making abbrev table (don't if it already exists). --- coq/coq-abbrev.el | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) (limited to 'coq/coq-abbrev.el') 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)) ;;;;; -- cgit v1.2.3