Simplified rendering

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

diff --git a/matitaB/components/content_pres/box.mli b/matitaB/components/content_pres/box.mli
index d2ca17bddd15128a15c2e7146e4e4d7f58b33585..e7c2588ebade764d308a39bab3c3a695355a5853 100644 (file)
--- 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