X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fsrc%2Focaml%2Fuwobo_styles.mli;h=0ff5f1fb50b62f53a9b1754bdbc66638ab7672b3;hb=0f1696d5c0601f3070b9c1bb1f32dd82fceb033b;hp=a8b3c947b8053d5b66ec8de86db4fb662de9f13d;hpb=beaf9a3cb95519e68e5806ac2f8a45b480d8e5ac;p=helm.git

diff --git a/helm/uwobo/src/ocaml/uwobo_styles.mli b/helm/uwobo/src/ocaml/uwobo_styles.mli
index a8b3c947b..0ff5f1fb5 100644
--- a/helm/uwobo/src/ocaml/uwobo_styles.mli
+++ b/helm/uwobo/src/ocaml/uwobo_styles.mli
@@ -29,12 +29,14 @@ exception Stylesheet_already_in of string;;
 
 class styles:
   object
-    method get: string list -> (string * I_gdome_xslt.processed_stylesheet) list
     method add: string -> string -> unit
     method remove: string -> unit
     method removeAll: unit
     method list: string list
     method reload: string -> unit
     method reloadAll: unit
+    method get:
+      string list ->
+        (string * I_gdome_xslt.processed_stylesheet) list * Gdome.document
   end