X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_client.mli;h=3b66f2ebfd6b99320a58e49f56a361528720f161;hb=44f27c5113259badb27d6a773c0b86e933056203;hp=1b92ba77224bbeb442f102795eab3c867483ef32;hpb=aa13dc23161864aa272517badddf8d7c3e509ab6;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_client.mli b/helm/DEVEL/ocaml-http/http_client.mli
index 1b92ba772..3b66f2ebf 100644
--- a/helm/DEVEL/ocaml-http/http_client.mli
+++ b/helm/DEVEL/ocaml-http/http_client.mli
@@ -2,7 +2,7 @@
 (*
   OCaml HTTP - do it yourself (fully OCaml) HTTP daemon
 
-  Copyright (C) <2002-2003> Stefano Zacchiroli <zack@cs.unibo.it>
+  Copyright (C) <2002-2004> Stefano Zacchiroli <zack@cs.unibo.it>
 
   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
@@ -36,3 +36,8 @@ val http_get: string -> string
    * returning it as a string *)
 val http_get_iter: (string -> unit) -> string -> unit
 
+  (** @param url an HTTP url
+   * @return HTTP HEAD raw response
+   * @raise Http_error when response code <> 200 *)
+val http_head: string -> string
+