X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Focaml%2Fgdome_xslt%2Fgdome_xslt.mli;h=8115457f33778299e86c1c2bbcb842284d8a57cc;hb=4f663b1e0d02da01039a95f4838495ed83373768;hp=3c7c232ec044b236b7e1c7eb8a69f644266992ca;hpb=c5c48f3d3515f1dd95657245922ec1f340e17f70;p=helm.git

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli
index 3c7c232ec..8115457f3 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli
@@ -49,3 +49,11 @@ val saveResultToChannel:
   stylesheet: I_gdome_xslt.processed_stylesheet ->
     unit
 
+(** set error callback, that is a function invoked each time an error message is
+generated. If None is passed, libxslt default error callback is used *)
+val setErrorCallback: (string -> unit) option -> unit
+
+(** set debug callback, that is a function invoked each time a debugging message
+is generated. If None is passed, libxslt default error callback is used *)
+val setDebugCallback: (string -> unit) option -> unit
+