From a69a28443fad9374d6ac9f3fe02d0270577fdba6 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 16 Oct 2003 17:46:22 +0000
Subject: 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
---
 lib/pp_control.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'lib')

diff --git a/lib/pp_control.ml b/lib/pp_control.ml
index caa985c185..ed44f419a2 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   = "..." }
 
-- 
cgit v1.2.3