diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 01:24:10 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 01:24:10 +0000 |
| commit | da88d02c38e53e3ae9b5f4f625023dc58d6ae472 (patch) | |
| tree | 0caf9b02f95a5e3b800846b374b2fc1886681578 /coq/coq-abbrev.el | |
| parent | d661066d35b2d88cac117def78acf7afde567c19 (diff) | |
Attempt to fix compile problems
Diffstat (limited to 'coq/coq-abbrev.el')
| -rw-r--r-- | coq/coq-abbrev.el | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 78863d27..e79f361f 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -54,15 +54,16 @@ ;;; The abbrev table built from keywords tables ;#s and @{..} are replaced by holes by 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)) - ;if we use default coq abbrev, never ask to save it - (setq save-abbrevs nil)) +(eval-when (load) + (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)) + ;; if we use default coq abbrev, never ask to save it + (setq save-abbrevs nil))) ;;;;; |