]> matita.cs.unibo.it Git - helm.git/commit
ported to latest ocaml-http API
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 16:20:21 +0000 (16:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 16:20:21 +0000 (16:20 +0000)
commit41bb791af5cba55838dae8307339aea5098c4e2d
tree9f91639c96914b21421a2955878f391a6f112c66
parent81814dffe8a7bdc7e537b36742dcea44a51fd8ad
ported to latest ocaml-http API
helm/DEVEL/rdfly/rdfly.ml
helm/searchEngine/searchEngine.ml