X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent_pres%2Fbox.ml;h=74cc844e6fc0b9b2a73a20064717c35002f1326a;hb=4e89ae4ac9b001c0479d68d9f74fe81fca6ecd2d;hp=7c50692621d99ff3fcff497209ce81c64193924d;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/content_pres/box.ml b/matitaB/components/content_pres/box.ml
index 7c5069262..74cc844e6 100644
--- a/matitaB/components/content_pres/box.ml
+++ b/matitaB/components/content_pres/box.ml
@@ -23,15 +23,6 @@
  * http://cs.unibo.it/helm/.
  *)
 
-(*************************************************************************)
-(*                                                                       *)
-(*                           PROJECT HELM                                *)
-(*                                                                       *)
-(*                Andrea Asperti <asperti@cs.unibo.it>                   *)
-(*                             13/2/2004                                 *)
-(*                                                                       *)
-(*************************************************************************)
-
 (* $Id$ *)
 
 type 
@@ -119,7 +110,7 @@ let b_text a b = Text(a,b)
 let b_object b = Object ([],b)
 let b_indent = indent
 let b_space = Space [None, "width", "0.5em"]
-let b_kw = b_text (RenderingAttrs.object_keyword_attributes `BoxML)
+(* let b_kw = b_text (RenderingAttrs.object_keyword_attributes `BoxML) *)
 let b_toggle items = Action ([ None, "type", "toggle"], items)
 
 let pp_attr attr =