X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fuwobo_styles.mli;h=7b2fa171e31f0b47a32a67d5c5f36b9563cd3b32;hb=fc967a62e29b445633102bc1d65ab7645405e288;hp=9d03b0924ba5ed64579e4de3e6b6cfa8398916ef;hpb=422b5f054c56456600cb72d7d8954b0afabec1ce;p=helm.git

diff --git a/helm/uwobo/uwobo_styles.mli b/helm/uwobo/uwobo_styles.mli
index 9d03b0924..7b2fa171e 100644
--- a/helm/uwobo/uwobo_styles.mli
+++ b/helm/uwobo/uwobo_styles.mli
@@ -62,6 +62,9 @@ class styles:
 
     (** {2 Stylesheets usage} *)
 
+      (** @return the list of currently loaded stylesheets' keys *)
+    method keys: string list
+
       (** @return a list of strings, each string is a textual representation of
       information related to a loaded stylesheet. This representation includes
       at least stylesheet's key and URI *)