From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Tue, 5 Oct 2010 15:27:56 +0000 (+0000)
Subject: £- use ----------- in place of ## for sequents
X-Git-Tag: make_still_working~2806
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=263103153fd8782ff95c4d075339a445a64bea1d;p=helm.git

£- use ----------- in place of ## for sequents
---

diff --git a/matita/components/content_pres/boxPp.ml b/matita/components/content_pres/boxPp.ml
index 0d58d9764..295275ee3 100644
--- a/matita/components/content_pres/boxPp.ml
+++ b/matita/components/content_pres/boxPp.ml
@@ -33,7 +33,7 @@ let string_space = " "
 let string_space_len = String.length string_space
 let string_indent = (* string_space *) ""
 let string_indent_len = String.length string_indent
-let string_ink = "##"
+let string_ink = "---------------------------"
 let string_ink_len = String.length string_ink
 
 let contains_attrs contained container =