]> matita.cs.unibo.it Git - helm.git/commit
split into two major parts:
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Feb 2004 13:22:00 +0000 (13:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Feb 2004 13:22:00 +0000 (13:22 +0000)
commitd3c72d6856cd185e5b3e9f2e8b928b78c7031ed1
tree9671ea12e45f62f102ea17960df9565bfe603fc8
parentb38de2d3fa8bbe346c59c18bbeb889f29e493f63
split into two major parts:
- backend (ocaml API)
- frontend (web service)
24 files changed:
helm/http_getter/.depend
helm/http_getter/Makefile
helm/http_getter/http_getter.ml
helm/http_getter/http_getter.mli [new file with mode: 0644]
helm/http_getter/http_getter_cache.ml
helm/http_getter/http_getter_cache.mli
helm/http_getter/http_getter_common.ml
helm/http_getter/http_getter_common.mli
helm/http_getter/http_getter_const.ml
helm/http_getter/http_getter_const.mli
helm/http_getter/http_getter_debugger.ml
helm/http_getter/http_getter_debugger.mli
helm/http_getter/http_getter_env.ml
helm/http_getter/http_getter_env.mli
helm/http_getter/http_getter_map.ml
helm/http_getter/http_getter_map.mli
helm/http_getter/http_getter_misc.ml
helm/http_getter/http_getter_misc.mli
helm/http_getter/http_getter_types.ml
helm/http_getter/main.ml [new file with mode: 0644]
helm/http_getter/threadSafe.ml
helm/http_getter/threadSafe.mli
helm/http_getter/zack.ml [deleted file]
helm/http_getter/zack.mli [deleted file]