diff options
| -rw-r--r-- | coq/coq-abbrev.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 5d179cd3..6382455e 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -65,7 +65,9 @@ (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) + ;; PC: fix trac #382 I comment this. But how to disable abbrev + ;; saving for coq mode only? + ;;(setq save-abbrevs nil) ; (message "Coq default abbrevs loaded") )) |