From 9c054f0694833812aacc5388363a068dceb1753d Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 6 Jun 2008 07:14:51 +0000
Subject: Raised coq undo stack size.

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index 25785942..28f217f9 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -71,7 +71,7 @@ To disable coqc being called (and use only make), set this to nil."
 
 ;; Command to initialize the Coq Proof Assistant
 
-(defcustom coq-default-undo-limit 100
+(defcustom coq-default-undo-limit 300
   "Maximum number of Undo's possible when doing a proof."
   :type 'number
   :group 'coq)
-- 
cgit v1.2.3