From b225466ee703a1845f81bb3ae431e462b03d5533 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Tue, 28 Sep 2010 16:31:20 +0000
Subject: Fixed redundant undo limit custom variables.

---
 coq/coq.el | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index 5e9f14e6..e87d9345 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -77,7 +77,7 @@ Set to t if you want this feature."
 
 ;; Command to initialize the Coq Proof Assistant
 
-(defcustom coq-default-undo-limit 300
+(defcustom coq-default-undo-limit 200
   "Maximum number of Undo's possible when doing a proof."
   :type 'number
   :group 'coq)
@@ -843,7 +843,7 @@ This is specific to `coq-mode'."
   :type 'integer
   :setting "Set Printing Depth %i . ")
 
-(defpacustom undo-depth 200
+(defpacustom undo-depth coq-default-undo-limit
   "Depth of undo history.  Undo behaviour will break beyond this size."
   :type 'integer
   :setting "Set Undo %i . ")
@@ -852,11 +852,6 @@ This is specific to `coq-mode'."
   "Whether to display timing information for each command."
   :type 'boolean)
 
-(defpacustom undo-limit 100
-  "Depth of undo history."
-  :type 'integer
-  :setting "Set Undo %i . ")
-
 (defpacustom auto-compile-vos nil
   "Whether to automatically compile vos and track dependencies."
   :type 'boolean)
-- 
cgit v1.2.3