X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent_pres%2Fcontent2pres.ml;h=d07733a1670676435894cb91528c20c084bafc83;hb=ffe34220d80cba65eccf2396fba7f692cc6448c8;hp=6606b088be10f49c8ae12fa60a3727cd88751a60;hpb=894d518aa760c9f816ddb0dc2b3fa88e1fe20a94;p=helm.git

diff --git a/matita/components/content_pres/content2pres.ml b/matita/components/content_pres/content2pres.ml
index 6606b088b..d07733a16 100644
--- a/matita/components/content_pres/content2pres.ml
+++ b/matita/components/content_pres/content2pres.ml
@@ -1061,13 +1061,13 @@ let nconjlist2pres0 term2pres context =
           Con.def_id = def_id ;
           Con.def_term = bo } = d in
       let r = 
-         Box.b_h [Some "helm", "xref", def_id]
+        Box.b_hov [Some "helm", "xref", def_id]
            [ Box.b_object (p_mi []
              (match def_name with
                 None -> "_"
               | Some n -> n)) ; Box.b_space ;
              Box.b_text [] (Utf8Macro.unicode_of_tex "\\def") ;
-             Box.b_space; term2pres bo] in
+             Box.indent (term2pres bo)] in
       aux (r::accum) tl
    | _::_ -> assert false
  in