Marge presqu'a 80, maximum indentation a 50 pour une meilleure lisibilite

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4658 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 4 insertions, 4 deletions

diff --git a/lib/pp_control.ml b/lib/pp_control.ml
index caa985c18..ed44f419a 100644
--- a/lib/pp_control.ml
+++ b/lib/pp_control.ml
@@ -19,16 +19,16 @@ type pp_global_params = {
 (* Default parameters of pretty-printing *)
 
 let dflt_gp = { 
-  margin     = 72;
-  max_indent = 62;
+  margin     = 78;
+  max_indent = 50;
   max_depth  = 50;
   ellipsis   = ".." }
 
 (* A deeper pretty-printer to print proof scripts *)
 
 let deep_gp = { 
-  margin     = 72;
-  max_indent = 62;
+  margin     = 78;
+  max_indent = 50;
   max_depth  = 10000;
   ellipsis   = "..." }