X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fuwobo_styles.mli;h=2817e14a5a48323f7f0decc58213c1dd4f10bb6a;hb=d2c60bae1c4badba0a0f29e3fd2faed6d3a1869e;hp=7b2fa171e31f0b47a32a67d5c5f36b9563cd3b32;hpb=ced0086b4bb5b10e6c4a8268ea781624a41394dd;p=helm.git

diff --git a/helm/uwobo/uwobo_styles.mli b/helm/uwobo/uwobo_styles.mli
index 7b2fa171e..2817e14a5 100644
--- a/helm/uwobo/uwobo_styles.mli
+++ b/helm/uwobo/uwobo_styles.mli
@@ -26,15 +26,11 @@
  *  http://helm.cs.unibo.it/
  *)
 
+open Uwobo_common ;;
+
 exception Stylesheet_not_found of string ;;
 exception Stylesheet_already_in of string ;;
 
-  (** libxslt's message *)
-type xslt_msg =
-  | LibXsltErrorMsg of string  (** libxslt's error messages *)
-  | LibXsltDebugMsg of string  (** libxslt's debugging messages *)
-type log = xslt_msg list ;;
-
   (** hold UWOBO styles at runtime *)
 class styles:
   object
@@ -46,19 +42,19 @@ class styles:
       @param key key to which the stylesheets will be bound
       @param uri uri of the stylesheet to be loaded
       @raise Stylesheet_already_in if key is already bound *)
-    method add: string -> string -> log
+    method add: string -> string -> unit
 
       (** remove the stylesheet bound to a given key *)
-    method remove: string -> log
+    method remove: string -> unit
 
       (** remove all loaded stylesheet *)
-    method removeAll: log
+    method removeAll: unit
 
       (** reload the stylesheet bound to a given key *)
-    method reload: string -> log
+    method reload: string -> unit
 
       (** reload all stylesheets *)
-    method reloadAll: log
+    method reloadAll: unit
 
     (** {2 Stylesheets usage} *)