X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Fgdome_xslt%2Focaml%2Fgdome_xslt%2Fgdome_xslt.mli;h=ff3467235921175958b2dbe58a2a6fc273f7ff04;hb=490684d4a950314576e53a70c5ab5dfa660b8855;hp=7571ef3d2e0893d2c4cd61a7a64d9958a8e0cbd6;hpb=9c7d78711a2ec0c89cbde7bb47698c033ab707ee;p=helm.git

diff --git a/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli b/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli
index 7571ef3d2..ff3467235 100644
--- a/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli
+++ b/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli
@@ -25,9 +25,7 @@
  * For more information, please send an email to {sacerdot,zack}@cs.unibo.it
  *)
 
-(* processStylesheet stylesheet                               *)
-(* Process a stylesheet so that it can be subsequently used   *)
-(* with applyStylesheet.                                      *)
+(** Main interface to GDome XSLT functionalities *)
 
 (** processStylesheet stylesheet
  *