matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 9 Feb 2004 13:22:00 +0000 (13:22 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 9 Feb 2004 13:22:00 +0000 (13:22 +0000)
commit	d3c72d6856cd185e5b3e9f2e8b928b78c7031ed1
tree	9671ea12e45f62f102ea17960df9565bfe603fc8	tree \| snapshot
parent	b38de2d3fa8bbe346c59c18bbeb889f29e493f63	commit \| diff

split into two major parts:
- backend (ocaml API)
- frontend (web service)

24 files changed:

helm/http_getter/.depend		diff \| blob \| history
helm/http_getter/Makefile		diff \| blob \| history
helm/http_getter/http_getter.ml		diff \| blob \| history
helm/http_getter/http_getter.mli	[new file with mode: 0644]	blob
helm/http_getter/http_getter_cache.ml		diff \| blob \| history
helm/http_getter/http_getter_cache.mli		diff \| blob \| history
helm/http_getter/http_getter_common.ml		diff \| blob \| history
helm/http_getter/http_getter_common.mli		diff \| blob \| history
helm/http_getter/http_getter_const.ml		diff \| blob \| history
helm/http_getter/http_getter_const.mli		diff \| blob \| history
helm/http_getter/http_getter_debugger.ml		diff \| blob \| history
helm/http_getter/http_getter_debugger.mli		diff \| blob \| history
helm/http_getter/http_getter_env.ml		diff \| blob \| history
helm/http_getter/http_getter_env.mli		diff \| blob \| history
helm/http_getter/http_getter_map.ml		diff \| blob \| history
helm/http_getter/http_getter_map.mli		diff \| blob \| history
helm/http_getter/http_getter_misc.ml		diff \| blob \| history
helm/http_getter/http_getter_misc.mli		diff \| blob \| history
helm/http_getter/http_getter_types.ml		diff \| blob \| history
helm/http_getter/main.ml	[new file with mode: 0644]	blob
helm/http_getter/threadSafe.ml		diff \| blob \| history
helm/http_getter/threadSafe.mli		diff \| blob \| history
helm/http_getter/zack.ml	[deleted file]	blob \| history
helm/http_getter/zack.mli	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.