matita.basedir used consistently

[helm.git] / matitaB / components / content_pres / box.ml

diff --git a/matitaB/components/content_pres/box.ml b/matitaB/components/content_pres/box.ml
index 7c50692621d99ff3fcff497209ce81c64193924d..74cc844e6fc0b9b2a73a20064717c35002f1326a 100644 (file)
--- 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 =