diff options
| author | Pierre Courtieu | 2011-01-18 09:50:28 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2011-01-18 09:50:28 +0000 |
| commit | 1faeeee2f519637fc4a4b7f556b102f92864fbda (patch) | |
| tree | 568463f1fdd2f76162267c36feb1be70f82e4019 | |
| parent | aa76421458123fc17a61f4b7218a175ece5e9404 (diff) | |
Fix trac 382 by not setting save-abbrevs.
| -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") )) |