X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Fgdome_xslt%2Focaml%2Fgdome_xslt%2Fgdome_xslt_init.mli;h=84b4f5d759ceefadec73f98729d40b87893b60f4;hb=4dc87cc7384ba61136bc82a23effe6a52160e720;hp=d3e6d670e3f3904ee552b76dc95ce41e45e27f63;hpb=d43522a6d38fcb9081a3f0352088377bc0555231;p=helm.git

diff --git a/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt_init.mli b/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt_init.mli
index d3e6d670e..84b4f5d75 100644
--- a/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt_init.mli
+++ b/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt_init.mli
@@ -25,13 +25,13 @@
  * For more information, please send an email to {sacerdot,zack}@cs.unibo.it
  *)
 
-(**************************** WARNING!!! ***********************************)
-(***                                                                     ***)
-(*** This file must always be linked with any code using gdome_xslt and  ***)
-(*** must be linked as the first file. It is responsible of initializing ***)
-(*** the whole binding, registering some ocaml values to the C level.    ***)
-(***                                                                     ***)
-(***************************************************************************)
+(** GDome XSLT initialization module *)
+
+(** WARNING!!! 
+ * This file must always be linked with any code using gdome_xslt
+ * and must be linked as the first file. It is responsible of initializing the
+ * whole binding, registering some ocaml values to the C level. *)
 
 exception ProcessStylesheetException
 exception ApplyStylesheetException
+