]> matita.cs.unibo.it Git - helm.git/commitdiff
remove spurious comment
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 09:44:37 +0000 (09:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 09:44:37 +0000 (09:44 +0000)
helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli

index 7571ef3d2e0893d2c4cd61a7a64d9958a8e0cbd6..ff3467235921175958b2dbe58a2a6fc273f7ff04 100644 (file)
@@ -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
  *