Simplified rendering

[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..6e5bb4d922910fee54e5357ee41ab9c6226ac567 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