matita.cs.unibo.it Git - helm.git/history - helm/ocaml/getter/http_getter

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/getter/http_getter_storage.ml

[helm.git] / helm / ocaml / getter / http_getter_storage.ml

2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	commit \| commitdiff
2006-01-09	Stefano Zacchiroli	added support for repository attributes	commit \| commitdiff
2006-01-08	Claudio Sacerdoti...	Added $Id$ to every .ml file.	commit \| commitdiff
2005-07-06	Stefano Zacchiroli	added support for multiple binding of the same prefix...	commit \| commitdiff
2005-07-06	Stefano Zacchiroli	- bugfix in cache handling for remote resources	commit \| commitdiff
2005-07-05	Stefano Zacchiroli	new getter implementation: no more DBM maps	commit \| commitdiff

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