From 1faeeee2f519637fc4a4b7f556b102f92864fbda Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 18 Jan 2011 09:50:28 +0000
Subject: Fix trac 382 by not setting save-abbrevs.

---
 coq/coq-abbrev.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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")
     ))
 
-- 
cgit v1.2.3