From: Stefano Zacchiroli Date: Wed, 8 Jan 2003 17:15:16 +0000 (+0000) Subject: - rewritten cp, wget, mkdir in OCaml X-Git-Tag: v0_3_99~65 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5e2135da18eeca0970692c12a0174690e6db7bd6;hp=5e2135da18eeca0970692c12a0174690e6db7bd6;p=helm.git - rewritten cp, wget, mkdir in OCaml - added http_get_iter_buf, an iter over remote HTTP GET resources ---