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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: e9f24f9) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 16 Apr 2004 08:18:07 +0000 (08:18 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 16 Apr 2004 08:18:07 +0000 (08:18 +0000)
commit	7668522147126e620258e6d22c16a2b0fa56feb4
tree	62c7a16c389ad4439879eb7f20bf844e84205f93	tree \| snapshot
parent	e9f24f9763283b44fcef456177f0390b51db7779	commit \| diff

- rewritten http_getter logger interface

helm/ocaml/getter/.depend		diff \| blob \| history
helm/ocaml/getter/Makefile		diff \| blob \| history
helm/ocaml/getter/http_getter.ml		diff \| blob \| history
helm/ocaml/getter/http_getter_cache.ml		diff \| blob \| history
helm/ocaml/getter/http_getter_debugger.ml	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_debugger.mli	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_env.ml		diff \| blob \| history
helm/ocaml/getter/http_getter_logger.ml	[new file with mode: 0644]	blob
helm/ocaml/getter/http_getter_logger.mli	[new file with mode: 0644]	blob
helm/ocaml/getter/http_getter_misc.ml		diff \| blob \| history

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