]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/src/ocaml/uwobo_styles.mli
snapshot Fri, 29 Nov 2002 17:17:46 +0100 zack
[helm.git] / helm / uwobo / src / ocaml / uwobo_styles.mli
index a8b3c947b8053d5b66ec8de86db4fb662de9f13d..0ff5f1fb50b62f53a9b1754bdbc66638ab7672b3 100644 (file)
@@ -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