X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_storage.mli;h=24fc329c9f03316218de44352e7217007b425991;hb=9262517c80e17d46b9bf9931dc879ac653a633e9;hp=f14c3b6351243ea0e4fcb5bd2d9763e325746076;hpb=33b0056f5db298388df8fd66b72cd46e5839bf23;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_storage.mli b/helm/ocaml/getter/http_getter_storage.mli
index f14c3b635..24fc329c9 100644
--- a/helm/ocaml/getter/http_getter_storage.mli
+++ b/helm/ocaml/getter/http_getter_storage.mli
@@ -53,7 +53,7 @@ val ls: string -> string list
    * that the search is performed only if the asked resource is not found in
    * cache (i.e. to perform the find again you need to clean the cache).
    * Defaults to false *)
-val filename: (* ?find:bool -> *) string -> string
+val filename: ?find:bool -> string -> string
 
   (** only works for local resources
    * if both compressed and non-compressed versions of a resource exist, both of
@@ -63,5 +63,9 @@ val remove: string -> unit
 val exists: string -> bool
 val resolve: string -> string
 
+(* val get_attrs: string -> Http_getter_types.prefix_attr list *)
+val is_read_only: string -> bool
+val is_legacy: string -> bool
+
 val clean_cache: unit -> unit