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

]> matita.cs.unibo.it Git - helm.git/history - helm/http_getter/http_getter.pl.in

2001-02-03	Stefano Zacchiroli	Reindented some parts	blob \| commitdiff \| raw
2001-02-02	Claudio Sacerdoti...	HELM_DTD_DIR now also used	blob \| commitdiff \| raw \| diff to current
2001-02-02	Claudio Sacerdoti...	getxslt added	blob \| commitdiff \| raw \| diff to current
2001-01-31	Stefano Zacchiroli	Added control on some "open" call (with 'or die ...')	blob \| commitdiff \| raw \| diff to current
2001-01-30	Stefano Zacchiroli	Added mixed cache support through HTTP_GETTER_CACHE_MOD...	blob \| commitdiff \| raw \| diff to current
2001-01-29	Luca Padovani	configuration improvements	blob \| commitdiff \| raw \| diff to current
2001-01-17	Luca Padovani	autoconfiguration improved (well, maybe)	blob \| commitdiff \| raw \| diff to current
2001-01-15	Stefano Zacchiroli	Added preliminary support for gzipped library	blob \| commitdiff \| raw \| diff to current
2001-01-15	Luca Padovani	added LICENSE	blob \| commitdiff \| raw \| diff to current
2000-12-28	Claudio Sacerdoti...	bug fixed	blob \| commitdiff \| raw \| diff to current
2000-12-28	Claudio Sacerdoti...	syntax error fixed	blob \| commitdiff \| raw \| diff to current
2000-12-28	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2000-12-28	Claudio Sacerdoti...	autoconf now used	blob \| commitdiff \| raw \| diff to current

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