X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_misc.mli;h=bb99827de0ebd15e66f8ef2bbcbecbd88e42ddf0;hb=d599c257fed6a37da72494676ed24315a6d8b2fb;hp=c1afb198ff8f704a88facc780cb2d5a7696210ac;hpb=12e7928b2ce2113d5ac43d453026d0443f58c5e4;p=helm.git

diff --git a/helm/http_getter/http_getter_misc.mli b/helm/http_getter/http_getter_misc.mli
index c1afb198f..bb99827de 100644
--- a/helm/http_getter/http_getter_misc.mli
+++ b/helm/http_getter/http_getter_misc.mli
@@ -31,3 +31,10 @@ val iter_file : (string -> unit) -> string -> unit
 val hashtbl_sorted_fold :
   ('a -> 'b -> 'c -> 'c) -> ('a, 'b) Hashtbl.t -> 'c -> 'c
 
+val wget: ?output: string -> string -> unit
+val gzip: ?keep: bool -> string -> unit
+val gunzip: ?keep: bool -> string -> unit
+val tempfile: unit -> string
+
+val string_of_proc_status : Unix.process_status -> string
+