]> matita.cs.unibo.it Git - helm.git/commit
ported to ocaml-http 0.0.10 (renamed Http_client -> Http_user_agent)
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 12 Oct 2004 21:01:23 +0000 (21:01 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 12 Oct 2004 21:01:23 +0000 (21:01 +0000)
commita524b2a00155ef09b11fcbf11fe08345e3ddab1a
treeb986003d14f5dfca6a4be003989ffbad17c4d658
parent59fb45409575e0f649604d276eaef04ce78b681e
ported to ocaml-http 0.0.10 (renamed Http_client -> Http_user_agent)
helm/ocaml/getter/clientHTTP.ml
helm/ocaml/getter/http_getter_misc.ml
helm/ocaml/pxp/pxpUrlResolver.ml