From 15e2fa83eff8fe02d3714d339423bec91f1c22b8 Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 3 Apr 2002 12:08:37 +0000
Subject: changement de l'undo limit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2604 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 proofs/pfedit.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/proofs/pfedit.ml b/proofs/pfedit.ml
index 610e99b9f8..035e7af583 100644
--- a/proofs/pfedit.ml
+++ b/proofs/pfedit.ml
@@ -51,7 +51,7 @@ let msg_proofs use_resume =
               	else (mt ()))
 )
 
-let undo_default = 12
+let undo_default = 50
 let undo_limit = ref undo_default
 
 (*********************************************************************)
-- 
cgit v1.2.3