1 files changed, 1 insertions, 1 deletions
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)