X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent_pres%2Fbox.mli;h=e05839b7185567c158bf0ee0725159c598a4ca7c;hb=bbb6dd07ecb430bf06bb52c2506626106449a5af;hp=d2ca17bddd15128a15c2e7146e4e4d7f58b33585;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/content_pres/box.mli b/matitaB/components/content_pres/box.mli
index d2ca17bdd..e05839b71 100644
--- a/matitaB/components/content_pres/box.mli
+++ b/matitaB/components/content_pres/box.mli
@@ -23,15 +23,6 @@
  * http://cs.unibo.it/helm/.
  *)
 
-(*************************************************************************)
-(*                                                                       *)
-(*                           PROJECT HELM                                *)
-(*                                                                       *)
-(*                Andrea Asperti <asperti@cs.unibo.it>                   *)
-(*                             13/2/2004                                 *)
-(*                                                                       *)
-(*************************************************************************)
-
 type 
   'expr box =
     Text of attr * string
@@ -72,7 +63,7 @@ val b_text: attr -> string -> 'expr box
 val b_object: 'expr -> 'expr box
 val b_indent: 'expr box -> 'expr box
 val b_space: 'expr box
-val b_kw: string -> 'expr box
+(* val b_kw: string -> 'expr box *)
 val b_toggle: 'expr box list -> 'expr box (** action which toggle among items *)
 
 val pp_attr: attr -> string