* 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
*