diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 13:13:58 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 13:13:58 +0000 |
| commit | 636a83078ec5271a07ba78fd5d02ce5e9f1f4a86 (patch) | |
| tree | aa1e8021d55c2711f0d067949ff0360d2901f976 /coq/coq-abbrev.el | |
| parent | d35efd03218733c5b45ca064fcd889af6fd61676 (diff) | |
Fix compilation problems and rearrange startup settings for coq-prog-name,coq-prog-args
Diffstat (limited to 'coq/coq-abbrev.el')
| -rw-r--r-- | coq/coq-abbrev.el | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 31ee58d6..c91911fb 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -54,16 +54,16 @@ ;;; The abbrev table built from keywords tables ;#s and @{..} are replaced by holes by holes-abbrev-complete -(unless (noninteractive) - (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))) +;; (unless (noninteractive) +;; (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))) ;;;;; |